* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
module GA = GrafiteAst
module U = UriManager
let resolve alias current_buri =
let buri = buri alias in
if buri <> current_buri then Some buri else None in
- let include_paths =
- Helm_registry.get_list Helm_registry.string "matita.includes" in
MatitaInit.load_configuration_file ();
MatitaInit.parse_cmdline ();
+ let include_paths =
+ Helm_registry.get_list Helm_registry.string "matita.includes" in
let basedir = Helm_registry.get "matita.basedir" in
List.iter
(fun ma_file ->
let ic = open_in ma_file in
let istream = Ulexing.from_utf8_channel ic in
- let dependencies = GrafiteParser.parse_dependencies istream in
+ let dependencies = DependenciesParser.parse_dependencies istream in
close_in ic;
List.iter
(function
- | GrafiteAst.UriDep uri ->
+ | DependenciesParser.UriDep uri ->
let uri = UriManager.string_of_uri uri in
- Hashtbl.add uri_deps ma_file uri
- | GrafiteAst.BaseuriDep uri ->
+ if not (Http_getter_storage.is_legacy uri) then
+ Hashtbl.add uri_deps ma_file uri
+ | DependenciesParser.BaseuriDep uri ->
let uri = Http_getter_misc.strip_trailing_slash uri in
Hashtbl.add baseuri_of ma_file uri
- | GrafiteAst.IncludeDep path ->
+ | DependenciesParser.IncludeDep path ->
try
let baseuri =
- GrafiteParserMisc.baseuri_of_script ~include_paths path in
- let moo_file = LibraryMisc.obj_file_of_baseuri ~basedir ~baseuri in
- Hashtbl.add include_deps ma_file moo_file
+ DependenciesParser.baseuri_of_script ~include_paths path in
+ if not (Http_getter_storage.is_legacy baseuri) then
+ let moo_file =
+ LibraryMisc.obj_file_of_baseuri ~basedir ~baseuri in
+ Hashtbl.add include_deps ma_file moo_file
with Sys_error _ ->
HLog.warn
("Unable to find " ^ path ^ " that is included in " ^ ma_file)