Implement parallel jobs (-j option).

[goals.git] / src / cmdline.mli

diff --git a/src/cmdline.mli b/src/cmdline.mli
index cb6265d..d2e889f 100644 (file)
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -20,12 +20,14 @@
 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 prelude_sh_file : string
+(** Get the absolute path of the prelude.sh file. *)
+
 val input_file : string
-(** Get the name of the input Goalfile.
-    This is an absolute path. *)
+(** 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
@@ -38,8 +40,10 @@ val directory : 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. *)
+(** Get list of include directories (-I option). *)
+
+val nr_jobs : int
+(** Number of jobs (-j option). *)
 
 val use_prelude : bool
 (** True if we should load the prelude, or false if --no-prelude. *)