INTERFACE_FILES = \
utils.mli \
- inference.mli
+ inference.mli\
+ equality_indexing.mli
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
- path_indexing.ml \
indexing.ml \
saturation.ml
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 $@ \