OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS)
OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
+INSTALL_PROGRAMS= matita matitac
+INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser
+INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean
MATITA_FLAGS = -noprofile
NODB=false
matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ applyTransformation.cmo \
+ matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
- matitaGtkMisc.cmo \
- applyTransformation.cmo \
matitaMathView.cmo \
matitaGui.cmo \
$(NULL)
.PHONY: opt upx
ifeq ($(HAVE_OCAMLOPT),yes)
-world: depend.opt opt
+world: depend.opt opt links
else
world: depend all
endif
+#links %.opt -> %
+links:
+ $(H)for X in $(INSTALL_PROGRAMS_LINKS_MATITAC) \
+ $(INSTALL_PROGRAMS_LINKS_MATITA); do\
+ ln -sf $$X.opt $$X;\
+ done
+ $(H)ln -sf matita.opt matita
+ $(H)ln -sf matitac.opt matitac
+
matita: matita.ml $(LIB_DEPS) $(CMOS)
$(H)echo " OCAMLC $<"
$(H)$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
+ $(H)rm -f matitaGeneratedGui.mli
$(H)#$(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
.PHONY: clean
TEST_DIRS = \
library \
tests \
- tests/bad_tests \
contribs/LAMBDA-TYPES \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
endif
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
+ $(MAKE) -C dist/ dist_pre
+
DESTDIR = $(RT_BASE_DIR)
INSTALL_STUFF = \
icons/ \
LICENSE \
$(NULL)
-INSTALL_PROGRAMS= matita matitac
-INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser
-INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean
ifeq ($(HAVE_OCAMLOPT),yes)
INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt)
else