helm/ocaml/paramodulation/Makefile

   1 PACKAGE = paramodulation
   2
   3 REQUIRES = \
   4         helm-registry \
   5         helm-cic_transformations \
   6         helm-tactics \
   7         helm-cic_disambiguation \
   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
  28 paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)
  29         $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
  30
  31 paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx)
  32         $(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
  33
  34
  35 $(ARCHIVE): paramodulation.cmo $(LIBRARIES)
  36         $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
  37                 paramodulation.cmo
  38
  39 $(ARCHIVE_OPT): paramodulation.cmx $(LIBRARIES_OPT)
  40         $(OCAMLOPT) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
  41                 paramodulation.cmx
  42
  43 PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo) \
  44         saturate_main.cmo
  45 PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx) \
  46         saturate_main.cmx
  47
  48 saturate: $(PARAMOD_OBJS) $(LIBRARIES)
  49         $(OCAMLC) -thread -linkpkg -o $@ $(PARAMOD_OBJS)
  50
  51 saturate.opt: $(PARAMOD_OBJS_OPT) $(LIBRARIES)
  52         $(OCAMLOPT) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT)