matita/components/binaries/saturate/Makefile

   1 H=@
   2
   3 REQUIRES = helm-grafite_parser helm-tactics
   4
   5 INTERFACE_FILES =
   6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   7 EXTRA_OBJECTS_TO_INSTALL =
   8 EXTRA_OBJECTS_TO_CLEAN = \
   9         saturate saturate.opt
  10
  11 all: saturate
  12         $(H)echo -n
  13 opt: saturate.opt
  14         $(H)echo -n
  15
  16 saturate: saturate_main.ml
  17         $(H)echo "    OCAMLC $<"
  18         $(H)$(OCAMLFIND) ocamlc \
  19                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  20
  21 saturate.opt: saturate_main.ml
  22         $(H)echo "    OCAMLOPT $<"
  23         $(H)$(OCAMLFIND) ocamlopt \
  24                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  25
  26 clean:
  27         $(H)rm -f *.cm[iox] *.a *.o
  28         $(H)rm -f saturate saturate.opt
  29
  30 depend:
  31 depend.opt:
  32
  33 include ../../../Makefile.defs