]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_engine/grafiteEngine.ml
tests are now handled with a standard Makefile that does not use do_tests.sh
[helm.git] / helm / software / components / grafite_engine / grafiteEngine.ml
index 59e3d5cf9e69ef8831014a186895b11411e31ea0..c6139e0e574da702d0c95a3a20a41a70e5cfabdc 100644 (file)
@@ -565,8 +565,10 @@ let rec eval_command = {ec_go = fun ~disambiguate_command opts status cmd ->
      GrafiteTypes.add_moo_content [cmd] status,[]
   | GrafiteAst.Include (loc, baseuri) ->
      let moopath_rw, moopath_r = 
-       LibraryMisc.obj_file_of_baseuri ~baseuri ~writable:true,
-       LibraryMisc.obj_file_of_baseuri ~baseuri ~writable:false
+       LibraryMisc.obj_file_of_baseuri 
+         ~must_exist:false ~baseuri ~writable:true,
+       LibraryMisc.obj_file_of_baseuri 
+         ~must_exist:false ~baseuri ~writable:false
      in
      let moopath = 
        if Sys.file_exists moopath_r then moopath_r else
@@ -596,6 +598,9 @@ let rec eval_command = {ec_go = fun ~disambiguate_command opts status cmd ->
           LibraryClean.clean_baseuris [value];
           assert (Http_getter_storage.is_empty value);
         end;
+        HExtlib.mkdir 
+          (Filename.dirname (Http_getter.filename ~writable:true (value ^
+            "/foo.con")));
       end;
       GrafiteTypes.set_option status name value,[]
   | GrafiteAst.Drop loc -> raise Drop