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 include ../../../Makefile.defs
   6 include ../../Makefile.common
   7
   8 all $(PACKAGE).cma :saturate
   9         @echo -n
  10 opt $(PACKAGE).cmxa:saturate.opt
  11         @echo -n
  12
  13 saturate: saturate_main.ml $(LIBRARIES)
  14         @echo "  OCAMLC $<"
  15         @$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
  16 saturate.opt: saturate_main.ml $(LIBRARIES)
  17         @echo "  OCAMLOPT $<"
  18         @$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
  19
  20 clean:
  21         rm -f saturate saturate.opt
  22
  23