1 PACKAGE = paramodulation
5 helm-cic_transformations \
7 helm-cic_textual_parser2 \
14 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
17 discrimination_tree.ml \
25 include ../Makefile.common
28 paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)
29 $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
31 paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx)
32 $(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
35 $(ARCHIVE): paramodulation.cmo $(LIBRARIES)
36 $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
39 $(ARCHIVE_OPT): paramodulation.cmx $(LIBRARIES_OPT)
40 $(OCAMLOPT) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
43 PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \
45 PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \
48 saturate: $(PARAMOD_OBJS) $(LIBRARIES)
49 $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS)
51 saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES)
52 $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)