X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=bbe22f7d159f6610d11a485c4a3c50eeeeb01aa5;hb=6fe06927f3293bfce4a01a587abd9913e711da88;hp=8502bc7b80d2023073db29b44d3ecc4a31097845;hpb=700b170aa9b0377d33f1edd44de8d89129477fb8;p=helm.git diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 8502bc7b8..bbe22f7d1 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -5,7 +5,13 @@ include ../Makefile.defs NULL = H=@ -OCAML_FLAGS = -pp $(CAMLP5O) -rectypes +ifeq ($(ANNOT),true) + ANNOTOPTION = -dtypes +else + ANNOTOPTION = +endif + +OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) OCAMLDEP_FLAGS = -pp $(CAMLP5O) PKGS = -package "$(MATITA_REQUIRES)" CPKGS = -package "$(MATITA_CREQUIRES)" @@ -31,9 +37,9 @@ MLI = \ lablGraphviz.mli \ matitaTypes.mli \ matitaMisc.mli \ + applyTransformation.mli \ matitaEngine.mli \ matitaExcPp.mli \ - applyTransformation.mli \ matitacLib.mli \ matitaInit.mli \ matitaGtkMisc.mli \ @@ -47,9 +53,9 @@ MLI = \ CMLI = \ matitaTypes.mli \ matitaMisc.mli \ + applyTransformation.mli \ matitaEngine.mli \ matitaExcPp.mli \ - applyTransformation.mli \ matitacLib.mli \ matitaInit.mli \ matitaWiki.mli \ @@ -63,7 +69,7 @@ ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml) # objects for matitac (batch compiler) CML = buildTimeConf.ml $(CMLI:%.mli=%.ml) MAINCML = $(MAINCMLI:%.mli=%.ml) - + PROGRAMS_BYTE = \ matita matitac matitadep matitaclean \ matitawiki @@ -227,9 +233,9 @@ dist_library: install_preliminaries $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes) $(H)echo "destroy" $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean) - # sqlite3 only +# sqlite3 only $(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true - #$(H)rm -rf $(WHERE)/.matita/ +#$(H)rm -rf $(WHERE)/.matita/ touch $@ endif @@ -362,7 +368,7 @@ TAGS: $(H)cd ..; otags -vi -r components/ matita/ .PHONY: depend - + depend: $(H)echo " OCAMLDEP" $(H)$(OCAMLDEP) *.ml *.mli > .depend