helm/ocaml/paramodulation/Makefile

   1 PACKAGE = paramodulation
   2
   3 REQUIRES = \
   4         helm-registry \
   5         helm-cic_transformations \
   6         helm-tactics \
   7         helm-cic_textual_parser2 \
   8         mysql
   9
  10 INTERFACE_FILES = \
  11         utils.mli \
  12         inference.mli
  13
  14 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
  15         trie.ml \
  16         path_indexing.ml \
  17         discrimination_tree.ml \
  18         indexing.ml \
  19         saturation.ml
  20
  21 #       saturate_main.ml
  22 #       test_indexing.ml
  23
  24
  25 include ../Makefile.common
  26
  27 PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \
  28         saturate_main.cmo
  29 PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \
  30         saturate_main.cmx
  31
  32 saturate: $(PARAMOD_OBJS) $(LIBRARIES)
  33         $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS)
  34
  35 saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES)
  36         $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)