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)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