- let argspec = [
- "-C", Arg.Set_string directory,
- "directory Change to directory before running";
- "--directory", Arg.Set_string directory,
- "directory Change to directory before running";
- "-f", Arg.Set_string filename,
- "filename Set name of Goalfile";
- "--file", Arg.Set_string filename,
- "filename Set name of Goalfile";
- ] in
- let argspec = Arg.align argspec in
- let anon_fun s = args := s :: !args in
- Arg.parse argspec anon_fun usage;
-
- let args = List.rev !args in
- let directory = !directory in
- let filename = !filename in
+ (* Create the initial environment, containing the system environment
+ * and a few other standard strings.
+ *)
+ let env =
+ Array.fold_left (
+ fun env environ ->
+ let k, v = split "=" environ in
+ Ast.Env.add k (Ast.EConstant (Ast.noloc, Ast.CString v)) env
+ ) Ast.Env.empty (Unix.environment ()) in
+ let env =
+ Ast.Env.add "stdlib"
+ (Ast.EConstant (Ast.noloc, Ast.CString Cmdline.stdlibdir))
+ env in
+ (*let env =
+ if Cmdline.debug_flag then Ast.Env.add "debug" (Ast.EConstant (noloc, Ast.CBool true)) env else env in *)
+
+ (* Parse the prelude. *)
+ let env =
+ if Cmdline.use_prelude then
+ Parse.parse_goalfile env Cmdline.prelude_gl_file
+ else env in