matitaDisambiguator.cmo \
matitaMathView.cmo \
matitaInterpreter.cmo
-CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
+
+LIB_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(REQUIRES))
all: matita
ifeq ($(HAVE_OCAMLOPT),yes)
+CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
+LIBX_DEPS = $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(REQUIRES))
opt: matita.opt
else
opt:
@echo "Native code compilation is disabled"
endif
-matita: $(CMOS) matita.ml
- $(OCAMLC) -linkpkg -o $@ $^
-matita.opt: $(CMXS) matita.ml
- $(OCAMLOPT) -linkpkg -o $@ $^
+matita: $(LIB_DEPS) $(CMOS) matita.ml
+ $(OCAMLC) -linkpkg -o $@ $(CMOS) matita.ml
+matita.opt: $(LIBX_DEPS) $(CMXS) matita.ml
+ $(OCAMLOPT) -linkpkg -o $@ $(CMXS) matita.ml
matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
$(LABLGLADECC) $< > matitaGeneratedGui.ml