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 = \
@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))