$(H)echo " OCAMLC -i $$(tactics_mli_deps) > $@"
$(H)echo "(* GENERATED FILE, DO NOT EDIT. STAMP:`date` *)" > $@
$(H)$(OCAMLC) -I paramodulation -i tactics.ml >> $@
$(H)echo " OCAMLC -i $$(tactics_mli_deps) > $@"
$(H)echo "(* GENERATED FILE, DO NOT EDIT. STAMP:`date` *)" > $@
$(H)$(OCAMLC) -I paramodulation -i tactics.ml >> $@