OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
INSTALL_PROGRAMS= matita matitac
INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser
-INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean matitaprover
+INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean matitaprover matitawiki
MATITA_FLAGS = -noprofile
NODB=false
matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
+ applyTransformation.cmo \
matitacLib.cmo \
matitaprover.cmo \
- applyTransformation.cmo \
matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaMathView.cmo \
matitaGui.cmo \
+ matitaAutoGui.cmo \
$(NULL)
# objects for matitac (batch compiler)
CCMOS = \
matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
+ applyTransformation.cmo \
matitacLib.cmo \
+ matitaWiki.cmo \
matitaprover.cmo \
$(NULL)
MAINCMOS = \
gragrep.cmo \
$(NULL)
PROGRAMS_BYTE = \
- matita matitac cicbrowser matitadep matitaclean matitamake matitaprover
+ matita matitac cicbrowser matitadep matitaclean matitamake matitaprover matitawiki
PROGRAMS = $(PROGRAMS_BYTE) matitatop
PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
NOINST_PROGRAMS = dump_moo gragrep
matitadep.opt: matitac.opt
$(H)test -f $@ || ln -s $< $@
+matitawiki: matitac
+ $(H)test -f $@ || ln -s $< $@
+matitawiki.opt: matitac.opt
+ $(H)test -f $@ || ln -s $< $@
+
matitaclean: matitac
$(H)test -f $@ || ln -s $< $@
matitaclean.opt: matitac.opt
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
+# library_auto
+TEST_DIRS_OPT = \
+ $(TEST_DIRS) \
+ $(NULL)
+
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)
-tests.opt: $(foreach d,$(TEST_DIRS),$(d)-test-opt)
+tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
-cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
+cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
%-test: matitac matitadep matitaclean
-cd $* && make -k clean all
$(H)test -f $@ || ln -s $< $@
matitaclean.opt.static: matitac.opt.static
$(H)test -f $@ || ln -s $< $@
+matitawiki.opt.static: matitac.opt.static
+ $(H)test -f $@ || ln -s $< $@
matitamake.opt.static: matitac.opt.static
$(H)test -f $@ || ln -s $< $@
cicbrowser.opt.static: matita.opt.static