all:
tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli
- echo "(* GENERATED FILE, DO NOT EDIT *)" > $@
- $(OCAMLC) -I paramodulation -i $< >> $@
+ @echo " OCAMLC -i $< > $@"
+ $(H)echo "(* GENERATED FILE, DO NOT EDIT *)" > $@
+ $(H)$(OCAMLC) -I paramodulation -i $< >> $@
+STATS_EXCLUDE = tactics.mli
+
+include ../../Makefile.defs
include ../Makefile.common
OCAMLOPTIONS+= -I paramodulation
+OCAMLDEPOPTIONS+= -I paramodulation