matita/components/binaries/test_parser/Makefile

   1 H=@
   2
   3 REQUIRES = str helm-grafite_parser
   4
   5 INTERFACE_FILES =
   6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   7 EXTRA_OBJECTS_TO_INSTALL =
   8 EXTRA_OBJECTS_TO_CLEAN = \
   9         test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
  10
  11 all: test_parser test_dep print_grammar
  12         $(H)echo -n
  13 opt: test_parser.opt test_dep.opt print_grammar.opt
  14         $(H)echo -n
  15
  16 test_parser: test_parser.ml
  17         $(H)echo "    OCAMLC $<"
  18         $(H)$(OCAMLFIND) ocamlc \
  19                 -I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  20
  21 test_parser.opt: test_parser.ml
  22         $(H)echo "    OCAMLOPT $<"
  23         $(H)$(OCAMLFIND) ocamlopt \
  24                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  25
  26 test_dep: test_dep.ml
  27         $(H)echo "    OCAMLC $<"
  28         $(H)$(OCAMLFIND) ocamlc \
  29                 -I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  30
  31 test_dep.opt: test_dep.ml
  32         $(H)echo "    OCAMLOPT $<"
  33         $(H)$(OCAMLFIND) ocamlopt \
  34                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  35
  36 print_grammar: print_grammar.ml
  37         $(H)echo "    OCAMLC $<"
  38         $(H)$(OCAMLFIND) ocamlc \
  39                 -I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  40
  41 print_grammar.opt: print_grammar.ml
  42         $(H)echo "    OCAMLOPT $<"
  43         $(H)$(OCAMLFIND) ocamlopt \
  44                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
  45
  46 clean:
  47         $(H)rm -f *.cm[iox] *.a *.o
  48         $(H)rm -f test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
  49
  50 depend:
  51 depend.opt:
  52
  53 include ../../../Makefile.defs