X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcmdline.mli;h=50809939602d2ce2ea407ca523eb5b5629dcc193;hb=refs%2Fheads%2Fmaster;hp=cb6265d68b5ff13576b7ba3004e895f2ba03ae55;hpb=3a94d620b1c135342c9f88ae943f256b9a9f96c9;p=goals.git

diff --git a/src/cmdline.mli b/src/cmdline.mli
index cb6265d..5080993 100644
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -17,35 +17,45 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
+val parse : unit -> (string * string) list * string list
+(** Parse the command line.
+    Returns two lists:
+    anon_vars = List of anonymous variable assignments.
+    targets = List of target expressions on the command line. *)
+
 val stdlibdir : string
 (** Get the stdlib directory. *)
 
-val prelude_file : string
+val prelude_gl_file : string
 (** Get the absolute path of the prelude.gl file. *)
 
-val input_file : string
-(** Get the name of the input Goalfile.
-    This is an absolute path. *)
+val prelude_sh_file : string
+(** Get the absolute path of the prelude.sh file. *)
+
+val input_file : unit -> string
+(** Get the name of the input Goalfile. *)
 
 val debug : ('a, unit, string, unit) format4 -> 'a
 (** If debugging is enabled (-d option) then print the formatted
     output.  If debugging was not enabled then nothing is printed. *)
 
-val debug_flag : bool
+val debug_flag : unit -> bool
 (** If debugging is enabled. *)
 
-val directory : string
+val directory : unit -> string
 (** Get the name of working directory (-C option). *)
 
-val includes : string list
-(** Get list of include directories (-I option).
-    These are all absolute paths. *)
+val includes : unit -> string list
+(** Get list of include directories (-I option). *)
 
-val use_prelude : bool
-(** True if we should load the prelude, or false if --no-prelude. *)
+val nr_jobs : unit -> int
+(** Number of jobs (-j option). *)
 
-val anon_vars : (string * string) list
-(** List of anonymous variable assignments on the command line. *)
+val keep_going : unit -> bool
+(** Keep-going mode (-k option). *)
 
-val targets : string list
-(** List of target expressions on the command line. *)
+val silent : unit -> bool
+(** Silent operation (-s option). *)
+
+val use_prelude : unit -> bool
+(** True if we should load the prelude, or false if --no-prelude. *)