let baseuri_of_script s =
try Hashtbl.find baseuri_of s
with Not_found ->
- let _,b,_ = Librarian.baseuri_of_script ~include_paths s in
+ let _,b,_,_ = Librarian.baseuri_of_script ~include_paths s in
Hashtbl.add baseuri_of s b;
Hashtbl.add baseuri_of_inv b s;
b
"<file> Save dependency graph in dot format to the given file";];
MatitaInit.parse_cmdline_and_configuration_file ();
MatitaInit.initialize_environment ();
- MatitamakeLib.initialize ();
let args = Helm_registry.get_list Helm_registry.string "matita.args" in
let args =
if args = [] then
let ma_files = args in
(* here we go *)
(* fills:
- Hashtbl.add include_deps ma_file moo_file
+ Hashtbl.add include_deps ma_file ma_file
Hashtbl.add include_deps_dot ma_file baseuri
*)
List.iter (fun ma_file -> ignore (baseuri_of_script ma_file)) ma_files;