OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
-MATITA_FLAGS =
+MATITA_FLAGS = -noprofile
NODB=false
ifeq ($(NODB),true)
MATITA_FLAGS += -nodb
matitaLog.cmo \
matitaTypes.cmo \
matitaMoo.cmo \
- matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
matitamakeLib.cmo \
matitaInit.cmo \
matitaSync.cmo \
- matitacleanLib.cmo \
matitaDisambiguator.cmo \
+ matitaExcPp.cmo \
+ matitacleanLib.cmo \
matitaEngine.cmo \
matitacLib.cmo \
matitaScript.cmo \
matitaLog.cmo \
matitaTypes.cmo \
matitaMoo.cmo \
- matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
matitamakeLib.cmo \
matitaInit.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
+ matitaExcPp.cmo \
matitacleanLib.cmo \
matitaEngine.cmo \
matitacLib.cmo \