X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.ml;h=f98e0a819e2976350ca86e27bf0cb5d54418094b;hb=881b2e9b7bad0da8f44418e9e6558710db5ce690;hp=b155298e7df70017257a9de1bee5e0f88b1dc417;hpb=f1642931e0f1d0c3466c32871bb34f94ee4dc44d;p=goals.git

diff --git a/src/cmdline.ml b/src/cmdline.ml
index b155298..f98e0a8 100644
--- a/src/cmdline.ml
+++ b/src/cmdline.ml
@@ -43,9 +43,10 @@ let print_version () =
 let datadir =
   try Sys.getenv "GOALS_DATADIR" with Not_found -> Config.datadir
 let stdlibdir = datadir // "stdlib"
-let prelude_file = stdlibdir // "prelude.gl"
+let prelude_gl_file = stdlibdir // "prelude.gl"
+let prelude_sh_file = stdlibdir // "prelude.sh"
 let () =
-  if not (is_directory stdlibdir) || not (Sys.file_exists prelude_file) then
+  if not (is_directory stdlibdir) || not (Sys.file_exists prelude_gl_file) then
     failwithf "%s: cannot find the standard library directory, expected %s.  If the standard library directory is in a non-standard location then set GOALS_DATADIR.  If you can trying to run goals from the build directory then use ‘./run goals ...’"
       Sys.executable_name stdlibdir