]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/matitadep.ml
Huge reorganization of matita and ocaml.
[helm.git] / helm / matita / matitadep.ml
index e93dbad61ad379b4b1e671c36cd9f6cd092807af..0052199ec3cdc3984888af9b41952c7c31592e42 100644 (file)
@@ -44,20 +44,20 @@ let main () =
    (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 -> 
+       | 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
+             DependenciesParser.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
           with Sys_error _ ->