matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ applyTransformation.cmo \
+ matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
- matitaGtkMisc.cmo \
- applyTransformation.cmo \
matitaMathView.cmo \
matitaGui.cmo \
$(NULL)
$(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 $<"
endif
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
+ $(MAKE) -C dist/ dist_pre
+
DESTDIR = $(RT_BASE_DIR)
INSTALL_STUFF = \
icons/ \