X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=90a8a2a41559f5a9d5fd2672b25e5ab8891ebaac;hb=c6762d611fb15644926b5d79bb4816a949c565ce;hp=aadfd26ad1e7b8d532a90ff0f7503a9347f511f0;hpb=541a200b13431987114dd3fd88ec9764cee1e772;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index aadfd26ad..90a8a2a41 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -19,6 +19,7 @@ OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
 CMOS =				\
 	buildTimeConf.cmo	\
 	matitaMisc.cmo		\
+	matitaDb.cmo		\
 	matitaGeneratedGui.cmo	\
 	matitaTypes.cmo		\
 	matitaCicMisc.cmo	\
@@ -28,11 +29,13 @@ CMOS =				\
 	matitaProof.cmo		\
 	matitaDisambiguator.cmo	\
 	matitaMathView.cmo	\
-	matitaInterpreter.cmo
+	matitaInterpreter.cmo	\
+	matitaScript.cmo
 # objects for matitac (batch compiler)
 CCMOS =				\
 	buildTimeConf.cmo	\
 	matitaMisc.cmo		\
+	matitaDb.cmo		\
 	matitaTypes.cmo		\
 	matitaCicMisc.cmo	\
 	matitaProof.cmo		\
@@ -54,10 +57,8 @@ opt:
 endif
 
 matita: $(LIB_DEPS) $(CMOS) matita.ml
-	rm -f cicbrowser
 	$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
 matita.opt: $(LIBX_DEPS) $(CMXS) matita.ml
-	rm -f cicbrowser.opt
 	$(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml
 
 matitac: $(LIB_DEPS) $(CCMOS) matitac.ml
@@ -66,9 +67,9 @@ matitac.opt: $(LIBX_DEPS) $(CMXS) matitac.ml
 	$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) matitac.ml
 
 cicbrowser: matita
-	test -f $@ || ln -s $< $@
+	@test -f $@ || ln -s $< $@
 cicbrowser.opt: matita.opt
-	test -f $@ || ln -s $< $@
+	@test -f $@ || ln -s $< $@
 
 matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
 	$(LABLGLADECC) $< > matitaGeneratedGui.ml