- matitacLib.cmo
-
-
-all: matita matitac matitatop cicbrowser matitadep matitaclean
-
-updater: $(LIB_DEPS)
- $(OCAMLC) $(PKGS) -linkpkg -o $@ updater.ml
+ matitacLib.cmo \
+ $(NULL)
+CLEANCMOS = $(CCMOS)
+MAKECMOS = $(CCMOS)
+PROGRAMS = matita matitac matitatop cicbrowser matitadep matitaclean matitamake
+PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS))
+
+all: matita.conf.xml $(PROGRAMS) dump_moo
+
+matita.conf.xml: matita.conf.xml.sample
+ @if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\
+ touch matita.conf.xml;\
+ else\
+ 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;\
+ fi
+
+matita.conf.xml.sample: matita.conf.xml.sample.in
+ autoconf
+ ./configure
+ @echo
+ @echo "WARNING: The configuration sample file has changed!"
+ @echo