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)"
lablGraphviz.mli \
matitaTypes.mli \
matitaMisc.mli \
+ applyTransformation.mli \
matitaEngine.mli \
matitaExcPp.mli \
- applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
matitaGtkMisc.mli \
matitaAutoGui.mli \
+ virtuals.mli \
matitaScript.mli \
+ predefined_virtuals.mli \
matitaMathView.mli \
matitaGui.mli \
$(NULL)
CMLI = \
matitaTypes.mli \
matitaMisc.mli \
+ applyTransformation.mli \
matitaEngine.mli \
matitaExcPp.mli \
- applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
matitaWiki.mli \
# objects for matitac (batch compiler)
CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
MAINCML = $(MAINCMLI:%.mli=%.ml)
-
+
PROGRAMS_BYTE = \
matita matitac matitadep matitaclean \
matitawiki
$(H)rm -f matita.conf.xml.sample
$(H)rm -rf .matita
-TEST_DIRS = \
- legacy \
- library \
- tests \
- contribs/dama/dama \
- contribs/assembly \
- contribs/CoRN \
- contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/PREDICATIVE-TOPOLOGY \
+TEST_DIRS = \
+ legacy \
+ library \
+ contribs/character \
+ tests \
+ contribs/dama/dama \
+ contribs/assembly \
+ contribs/CoRN \
+ contribs/RELATIONAL \
+ contribs/LOGIC \
+ contribs/limits \
$(NULL)
# library_auto
-TEST_DIRS_OPT = \
- $(TEST_DIRS) \
- contribs/LAMBDA-TYPES \
+TEST_DIRS_OPT = \
+ $(TEST_DIRS) \
+# contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt
$(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
endif
install-arch: install_preliminaries
-install-indep: dist_library
+install-indep:
install_preliminaries : install_preliminaries.stamp
ln -fs matita $(WHERE)/$$p;\
done
$(H)cp -a library/ $(WHERE)/ma/standard-library
+ $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
$(H)touch install_preliminaries.stamp
$(H)cd ..; otags -vi -r components/ matita/
.PHONY: depend
-
+
depend:
$(H)echo " OCAMLDEP"
$(H)$(OCAMLDEP) *.ml *.mli > .depend