(* Get stdlib directory. *)
let datadir =
- try Sys.getenv "GOALS_DATADIR" with Not_found -> Config.datadir
+ try Sys.getenv "GOALS_DATADIR"
+ with Not_found -> Config.datadir // "goals"
let stdlibdir = datadir // "stdlib"
let prelude_gl_file = stdlibdir // "prelude.gl"
let prelude_sh_file = stdlibdir // "prelude.sh"
let includes = ref [stdlibdir]
let add_include dir = includes := dir :: !includes
let nr_jobs = ref (nprocs ())
+let silent = ref false
let use_prelude = ref true
let parse () =
jobshelp;
"--no-prelude",Arg.Clear use_prelude,
" Do not automatically use prelude.gl from stdlib";
+ "-s", Arg.Set silent,
+ " Silent operation";
+ "--silent", Arg.Set silent,
+ " Silent operation";
+ "--quiet", Arg.Set silent,
+ " Silent operation";
"-v", Arg.Unit print_version,
" Print version and exit";
"--version", Arg.Unit print_version,
let includes () = !includes
let nr_jobs () = !nr_jobs
+let silent () = !silent
let use_prelude () = !use_prelude