1 PACKAGE = paramodulation
7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
10 discrimination_tree.ml \
14 include ../Makefile.common
16 paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)
17 $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
19 paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx)
20 $(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
23 $(ARCHIVE): paramodulation.cmo $(LIBRARIES)
24 $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
27 $(ARCHIVE_OPT): paramodulation.cmx $(LIBRARIES_OPT)
28 $(OCAMLOPT) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
31 PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \
33 PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \
36 saturate: $(PARAMOD_OBJS) $(LIBRARIES)
37 $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS)
39 saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES)
40 $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)