-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 $@ $<
-