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
matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ applyTransformation.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
$(H)rm -rf .matita
TEST_DIRS = \
+ legacy \
library \
tests \
+ dama \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LAMBDA-TYPES \
$(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
$(H)$(OCAMLDEP) *.ml *.mli > .depend
depend.opt:
$(H)echo " OCAMLDEP -native"
- $(H)$(OCAMLDEP) -native *.ml *.mli > .depend
+ $(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt
+
+ifeq ($(MAKECMDGOALS),)
+ include .depend
+endif
+
+ifeq ($(MAKECMDGOALS), all)
+ include .depend
+endif
-ifneq ($(MAKECMDGOALS), depend)
- ifneq ($(MAKECMDGOALS), depend.opt)
- include .depend
- endif
+ifeq ($(MAKECMDGOALS), opt)
+ include .depend.opt
endif
%.cmi: %.mli