paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)
$(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
-paramodulation.cmx: OCAMLOPTIONS=-package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx)
$(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
-OCAMLOPTIONS+=-for-pack Paramodulation
-
$(ARCHIVE): paramodulation.cmo $(LIBRARIES)
$(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
paramodulation.cmo