PACKAGE = paramodulation REQUIRES = helm-tactics INTERFACE_FILES = \ utils.mli \ inference.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \ trie.ml \ path_indexing.ml \ discrimination_tree.ml \ indexing.ml \ saturation.ml # saturate_main.ml # test_indexing.ml include ../Makefile.common paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo) paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE): paramodulation.cmo $(LIBRARIES) $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \ paramodulation.cmo $(ARCHIVE_OPT): paramodulation.cmx $(LIBRARIES_OPT) $(OCAMLOPT) $(OCAMLARCHIVEOPTIONS) -a -o $@ \ paramodulation.cmx PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \ saturate_main.cmo PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \ saturate_main.cmx saturate: $(PARAMOD_OBJS) $(LIBRARIES) $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS) saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES) $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)