- baseuri := (uri, file) :: !baseuri
- | 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 (find path)
- | _ -> ())
- stms;
- Hashtbl.iter
- (fun file alias ->
- let dep = resolve alias in
- match dep with
- | None -> ()
- | Some d -> Hashtbl.add deps file d)
- aliases;)
- !files;
- List.iter (fun file ->
- let deps = Hashtbl.find_all deps file in
+ Hashtbl.add baseuri_of file uri
+ | GrafiteAst.IncludeDep path ->
+ try
+ let ma_file = if path <> "coq.ma" then find path else path in
+ let moo_file = MatitaMisc.obj_file_of_script ma_file in
+ Hashtbl.add include_deps file moo_file
+ with Sys_error _ ->
+ MatitaLog.warn
+ ("Unable to find " ^ path ^ " that is included in " ^ file))
+ dependencies)
+ (Helm_registry.get_list Helm_registry.string "matita.args");
+ Hashtbl.iter
+ (fun file alias ->
+ let dep = resolve alias (Hashtbl.find baseuri_of file) in
+ match dep with
+ | None -> ()
+ | Some u ->
+ Hashtbl.add include_deps file (MatitaMisc.obj_file_of_baseuri u))
+ uri_deps;
+ List.iter
+ (fun file ->
+ let deps = Hashtbl.find_all include_deps file in