ANNOTOPTION =
endif
-OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION)
+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 \
CMLI = \
matitaTypes.mli \
matitaMisc.mli \
+ applyTransformation.mli \
matitaEngine.mli \
matitaExcPp.mli \
- applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
matitaWiki.mli \
# library_auto
TEST_DIRS_OPT = \
$(TEST_DIRS) \
- contribs/LAMBDA-TYPES \
+# contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt
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