Sys.catch_break true;
interactive_loop ()
-let dump_moo_to_file file moo =
- let os = open_out (MatitaMisc.obj_file_of_script file) in
- Marshal.to_channel os (List.rev moo) [];
- close_out os
-
let main ~mode =
MatitaInit.initialize_all ();
status := Some (ref (Lazy.force MatitaEngine.initial_status));
end
else
begin
- dump_moo_to_file fname moo_content_rev;
+ let moo_fname = MatitaMisc.obj_file_of_script fname in
+ MatitaMoo.save_moo moo_fname moo_content_rev;
MatitaLog.message
(sprintf "execution of %s completed in %s." fname (hou^min^sec));
exit 0