helm/ocaml/tactics/paramodulation/Makefile

   1 PACKAGE = dummy
   2
   3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
   4
   5 saturate: saturate_main.ml $(LIBRARIES)
   6         $(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
   7 saturate.opt: saturate_main.ml $(PARAMOD_OBJS_OPT) $(LIBRARIES)
   8         $(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT) <
   9
  10 clean:
  11         rm saturate saturate.cmo saturate.cmx
  12
  13 include ../../Makefile.common
  14