X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;fp=helm%2Fmatita%2FMakefile.in;h=b4cb75bd4ceb7e4a50f0d52f441489843fe4bafc;hb=afe21e48aefe81db3ca150fac9a5bbfbc893fa59;hp=f5c9a341fe7b605153ade444c35efc9e8ca101d4;hpb=5433a131a7ff29529747e58c68dbf258d696e55b;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index f5c9a341f..b4cb75bd4 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -22,6 +22,14 @@ OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS)
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
+
+MATITA_FLAGS =
+NODB=false
+ifeq ($(NODB),true)
+	MATITA_FLAGS += -nodb
+endif
+
+
 # objects for matita (GTK GUI)
 NULL =
 CMOS =				\
@@ -91,9 +99,9 @@ matita.conf.xml.sample: matita.conf.xml.sample.in
 	@echo 
 
 coq.moo: coq.ma matitac
-	./matitac coq.ma
+	./matitac $(MATITA_FLAGS) coq.ma
 coq.moo.opt: coq.ma matitac.opt
-	./matitac.opt coq.ma
+	./matitac.opt $(MATITA_FLAGS) coq.ma
 
 ifeq ($(HAVE_OCAMLOPT),yes)
 CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))