rebuilt against ocaml 3.08.3

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 07fd7f3382a31c9da6e5a713bb7eb76c38d6e441..90a8a2a41559f5a9d5fd2672b25e5ab8891ebaac 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       \
@@ -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 $< $@
+       @test -f $@ || ln -s $< $@
 cicbrowser.opt: matita.opt
-       test -f $@ || ln $< $@
+       @test -f $@ || ln -s $< $@
 
 matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
        $(LABLGLADECC) $< > matitaGeneratedGui.ml