matitacleanLib.cmo \
matitacLib.cmo
CLEANCMOS = $(CCMOS)
+MAKECMOS = $(CCMOS) matitamakeLib.cmo
-all: matita matitac matitatop cicbrowser matitadep matitaclean
+all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake
+
+matita.conf.xml: matita.conf.xml.sample
+ @echo
+ @echo "matita.conf.xml.sample is newer than matita.conf.xml"
+ @echo
+ @echo "PLEASE update your configuration file!"
+ @echo "(copying matita.conf.xml.sample should work)"
+ @echo
+ @false
+
+matita.conf.xml.sample: matita.conf.xml.sample.in
+ autoconf
+ ./configure
+ @echo
+ @echo "WARNING: The configuration sample file has changed!"
+ @echo
ifeq ($(HAVE_OCAMLOPT),yes)
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
CLEANCMXS = $(patsubst %.cmo,%.cmx,$(CLEANCMOS))
+MAKECMXS = $(patsubst %.cmo,%.cmx,$(MAKECMOS))
LIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(REQUIRES))
LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(REQUIRES))
CLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(CREQUIRES))
DEPLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(DEPREQUIRES))
CLEANLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(CLEANREQUIRES))
CLEANLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(CLEANREQUIRES))
-opt: matita.opt matitac.opt cicbrowser.opt matitadep.opt matitaclean.opt
+MAKELIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MAKEREQUIRES))
+MAKELIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MAKEREQUIRES))
+opt: matita.opt matitac.opt cicbrowser.opt matitadep.opt matitaclean.opt matitamake.opt
else
opt:
@echo "Native code compilation is disabled"
matitaclean.opt: matitaclean.ml $(CLEANLIB_DEPS) $(CLEANCMXS)
$(OCAMLOPT) $(CLEANPKGS) -linkpkg -o $@ $(CLEANCMXS) $<
+matitamake: matitamake.ml $(MAKECMOS)
+ $(OCAMLC) $(PKGS) -linkpkg -o $@ $(MAKECMOS) $<
+matitamake.opt: matitamake.ml $(MAKECMXS)
+ $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(MAKECMXS) $<
+
cicbrowser: matita
@test -f $@ || ln -s $< $@
cicbrowser.opt: matita.opt
matita matita.opt matitac matitac.opt \
cicbrowser cicbrowser.opt \
matitadep matitadep.opt \
- matitaclean matitaclean.opt
+ matitaclean matitaclean.opt \
+ matitatop matitatop.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -f config.log config.status Makefile buildTimeConf.ml
rm -f matita.glade.bak matita.gladep.bak
rm -rf autom4te.cache/
+ rm -f configure matita.conf.xml.sample
tests: matitac matitadep matitaclean
@(cd library && make clean all)