X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitac.ml;h=08dab089f6e44516c43b836a433fc20cda8e74ee;hb=16a95f57b09ae92ea24ab2addd02c1d0be80f109;hp=13b2aeb2fe1bccf216b5cd848913be29fcc2b80e;hpb=b505ea98f76ba6defb31be73a6871c62136e5747;p=helm.git

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 13b2aeb2f..08dab089f 100644
--- a/matita/matita/matitac.ml
+++ b/matita/matita/matitac.ml
@@ -57,7 +57,7 @@ let main_compiler () =
   if system_mode then HLog.message "Compiling in system space";
   (* here we go *)
   if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
-  if MatitaEngine.Make.make root target then 
+  if List.for_all (MatitaEngine.assert_ng ~include_paths:[] ~root) target then 
     (HLog.message "Compilation successful"; 0)
   else
     (HLog.message "Compilation failed"; 1)
@@ -66,8 +66,7 @@ let main_compiler () =
 let main () =
   Sys.catch_break true;
   let bin = Filename.basename Sys.argv.(0) in
-  if      Pcre.pmatch ~pat:"^matitadep"    bin then Matitadep.main ()
-  else if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()
+  if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()
   else exit (main_compiler ())
 ;;