Standardize running code in a single function, include prelude.sh.

[goals.git] / src / cmdline.mli

diff --git a/src/cmdline.mli b/src/cmdline.mli
index cb6265d..aed4e8b 100644 (file)
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -20,9 +20,12 @@
 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. *)