Sys.catch_break true;
interactive_loop ()
-let clean_exit n =
- match !status with
- None -> exit n
- | Some status ->
- let baseuri = MatitaTypes.get_string_option !status "baseuri" in
- MatitacleanLib.clean_baseuris ~verbose:false [baseuri];
- exit n
-
let dump_moo_to_file file moo =
let os = open_out (MatitaMisc.obj_file_of_script file) in
let output s = output_string os s in