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