- added support for "-nodb" flag (still missing support for matitaclean which relies...

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index f5c9a341fe7b605153ade444c35efc9e8ca101d4..b4cb75bd4ceb7e4a50f0d52f441489843fe4bafc 100644 (file)
--- 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))