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
27 PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \
29 PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \
32 saturate: $(PARAMOD_OBJS) $(LIBRARIES)
33 $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS)
35 saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES)
36 $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)