OCAMLFIND = @OCAMLFIND@
CAMLP4O = @CAMLP4O@
LABLGLADECC = @LABLGLADECC@
+REQUIRES = @FINDLIB_REQUIRES@
+HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
-REQUIRES = lablgtk2.glade helm-registry
OCAML_FLAGS = -package "$(REQUIRES)" -pp $(CAMLP4O)
OCAML_THREADS_FLAGS = -thread
OCAML_DEBUG_FLAGS =
CMOS = \
buildTimeConf.cmo \
matitaGeneratedGui.cmo \
+ matitaTypes.cmo \
matitaGtkMisc.cmo \
- matitaGui.cmo
+ matitaGui.cmo \
+ matitaProof.cmo \
+ matitaDisambiguator.cmo
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
all: matita
+
+ifeq ($(HAVE_OCAMLOPT),yes)
opt: matita.opt
+else
+opt:
+ @echo "Native code compilation is disabled"
+endif
matita: $(CMOS) matita.ml
$(OCAMLC) -linkpkg -o $@ $^
$(OCAMLOPT) -linkpkg -o $@ $^
matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
- $(LABLGLADECC) $< > $@
+ $(LABLGLADECC) $< > matitaGeneratedGui.ml
$(OCAMLC) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
%.cmi: %.mli
rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o matita matita.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
- rm -f config.log config.status configure Makefile buildTimeConf.ml
+ rm -f config.log config.status Makefile buildTimeConf.ml
rm -f matita.glade.bak matita.gladep.bak
rm -rf autom4te.cache/