OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS)
OCAMLDEP = ocamldep -pp camlp4o
-LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
-LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
+LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
+LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
all: styles gTopLevel
opt: styles gTopLevel.opt
DEPOBJS = \
- proofEngine.ml proofEngine.mli eta_fixing.ml eta_fixing.mli \
- content2cic.ml content2cic.mli logicalOperations.ml \
+ proofEngine.ml proofEngine.mli logicalOperations.ml \
logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \
termEditor.mli texTermEditor.ml texTermEditor.mli xmlDiff.ml \
xmlDiff.mli termViewer.ml termViewer.mli invokeTactics.ml \
invokeTactics.mli hbugs.ml hbugs.mli gTopLevel.ml
TOPLEVELOBJS = \
- eta_fixing.cmo content2cic.cmo proofEngine.cmo logicalOperations.cmo \
+ proofEngine.cmo logicalOperations.cmo \
disambiguate.cmo termEditor.cmo texTermEditor.cmo xmlDiff.cmo \
termViewer.cmo invokeTactics.cmo hbugs.cmo gTopLevel.cmo