snapshot, notably:

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index aadfd26ad1e7b8d532a90ff0f7503a9347f511f0..0ca62ff70878cc317af61eb432fd3661c1b187fc 100644 (file)
--- 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       \
@@ -33,6 +34,7 @@ CMOS =                                \
 CCMOS =                                \
        buildTimeConf.cmo       \
        matitaMisc.cmo          \
+       matitaDb.cmo            \
        matitaTypes.cmo         \
        matitaCicMisc.cmo       \
        matitaProof.cmo         \
@@ -54,10 +56,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 +66,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