matitacleanLib.cmo \
matitaDisambiguator.cmo \
matitaEngine.cmo \
+ matitacLib.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitaEngine.cmo \
+ matitacleanLib.cmo \
matitacLib.cmo
-CLEANCMOS = $(CCMOS) matitacleanLib.cmo
+CLEANCMOS = $(CCMOS)
all: matita matitac matitatop cicbrowser matitadep matitaclean
-updater: $(LIB_DEPS)
- $(OCAMLC) $(PKGS) -linkpkg -o $@ updater.ml
-
ifeq ($(HAVE_OCAMLOPT),yes)
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
matita matita.opt matitac matitac.opt \
cicbrowser cicbrowser.opt \
matitadep matitadep.opt \
- matitaclean matitaclean.opt
+ matitaclean matitaclean.opt \
+ matitatop matitatop.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -f config.log config.status Makefile buildTimeConf.ml