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 =
buildTimeConf.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
- matitaGui.cmo
+ matitaGui.cmo \
+ matitaTypes.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 $@ $^