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 \
LIB_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(REQUIRES))
-all: matita matitac
+all: matita matitac cicbrowser
ifeq ($(HAVE_OCAMLOPT),yes)
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
LIBX_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(REQUIRES))
-opt: matita.opt matitac.opt
+opt: matita.opt matitac.opt cicbrowser.opt
else
opt:
@echo "Native code compilation is disabled"
matitac.opt: $(LIBX_DEPS) $(CMXS) matitac.ml
$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) matitac.ml
+cicbrowser: matita
+ @test -f $@ || ln -s $< $@
+cicbrowser.opt: matita.opt
+ @test -f $@ || ln -s $< $@
+
matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
$(LABLGLADECC) $< > matitaGeneratedGui.ml
$(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
clean:
rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
- matita matita.opt matitac matitac.opt
+ matita matita.opt matitac matitac.opt \
+ cicbrowser cicbrowser.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -f config.log config.status Makefile buildTimeConf.ml