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