IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN = \
- test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
+ test_parser test_parser.opt test_dep test_dep.opt
-all: test_parser test_dep print_grammar
+all: test_parser test_dep
$(H)echo -n
-opt: test_parser.opt test_dep.opt print_grammar.opt
+opt: test_parser.opt test_dep.opt
$(H)echo -n
test_parser: test_parser.ml
$(H)$(OCAMLFIND) ocamlopt \
-I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
-print_grammar: print_grammar.ml
- $(H)echo " OCAMLC $<"
- $(H)$(OCAMLFIND) ocamlc \
- -I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
-
-print_grammar.opt: print_grammar.ml
- $(H)echo " OCAMLOPT $<"
- $(H)$(OCAMLFIND) ocamlopt \
- -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
-
clean:
$(H)rm -f *.cm[iox] *.a *.o
- $(H)rm -f test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
+ $(H)rm -f test_parser test_parser.opt test_dep test_dep.opt
depend:
depend.opt: