From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 21 Sep 2007 14:51:06 +0000 (+0000)
Subject: now the -bench and -system flags work for matitamake
X-Git-Tag: make_still_working~6002
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=efaf43d2464a890dd863bd92ce622a998b56ccee;hp=92165c07e82baa982ec06ff9ab325f97659a3900;p=helm.git

now the -bench and -system flags work for matitamake
---

diff --git a/helm/software/matita/matitamakeLib.ml b/helm/software/matita/matitamakeLib.ml
index c2fff07a4..ccfdd9bab 100644
--- a/helm/software/matita/matitamakeLib.ml
+++ b/helm/software/matita/matitamakeLib.ml
@@ -209,8 +209,13 @@ let call_make ?matita_flags development target make =
       | None -> (try Sys.getenv "MATITA_FLAGS" with Not_found -> "")
       | Some s -> s 
     in
-    already_defined ^ 
-      if Helm_registry.get_bool "matita.bench" then "-bench" else ""
+    let bench = 
+      if Helm_registry.get_bool "matita.bench" then " -bench" else ""
+    in
+    let system = 
+      if Helm_registry.get_bool "matita.system" then " -system" else ""
+    in
+    already_defined ^ bench ^ system
   in
   let csc = try ["SRC=" ^ Sys.getenv "SRC"] with Not_found -> [] in
   rebuild_makefile development;
@@ -218,7 +223,7 @@ let call_make ?matita_flags development target make =
   let flags = [] in 
   let flags =
     try
-      flags @ [ sprintf "MATITA_FLAGS=\"%s\"" matita_flags ]
+      flags @ [ sprintf "MATITA_FLAGS=%s" matita_flags ]
     with Not_found -> flags in
   let flags = flags @ csc in
   let args =