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"
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
matitac.opt: $(LIBX_DEPS) $(CMXS) matitac.ml
$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) matitac.ml
+cicbrowser: matita
+ test -f $@ || ln $< $@
+cicbrowser.opt: matita.opt
+ test -f $@ || ln $< $@
+
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