CLEANCMOS = $(CCMOS)
-all: matita matitac matitatop cicbrowser matitadep matitaclean
+all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean
+
+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))
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)