- 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;)
+ 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)