| TA.Executable (_, TA.Command
(_, TA.Alias (_, TA.Ident_alias(_, uri)))) ->
Hashtbl.add aliases file uri
+ | TA.Executable (_, TA.Command (_, TA.Include (_, path))) ->
+ Hashtbl.add deps file path
| _ -> ())
stms;
Hashtbl.iter
let deps = Hashtbl.find_all deps file in
let deps = List.fast_sort Pervasives.compare deps in
let deps = MatitaMisc.list_uniq deps in
+ let deps =
+ List.map (fun x -> Pcre.replace ~pat:"ma$" ~templ:"moo" x) deps
+ in
let deps = file :: deps in
Printf.printf "%s: %s\n" (MatitaMisc.obj_file_of_script file)
(String.concat " " deps)