+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: $(PROOFCHECKEROBJS) proofChecker
+opt: $(PROOFCHECKEROBJS:.cmo=.cmx) proofChecker.opt