- Sys.executable_name stdlibdir
-
-let input_file,
- debug_flag, directory, includes, use_prelude, anon_vars, targets =
- let args = ref [] in
- let debug_flag = ref false in
- let directory = ref "." in
- let input_file = ref "Goalfile" in
- let includes = ref [stdlibdir] in
- let add_include dir = includes := dir :: !includes in
- let use_prelude = ref true in