In debug mode (-d) print all shell scripts executed.

[goals.git] / src / cmdline.mli

diff --git a/src/cmdline.mli b/src/cmdline.mli
index e9ab8f1..aed4e8b 100644 (file)
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -20,13 +20,23 @@
 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. *)
 
+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
+(** If debugging is enabled. *)
+
 val directory : string
 (** Get the name of working directory (-C option). *)