CMOS = \
buildTimeConf.cmo \
matitaMisc.cmo \
+ matitaDb.cmo \
matitaGeneratedGui.cmo \
matitaTypes.cmo \
matitaCicMisc.cmo \
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 \
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
$(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