TARGETS=Terms.vo GenericTactics.vo \
  CompareTerms.vo Misc.vo RewriteTerms.vo Contexts.vo WeightTerms.vo \
  APIDefense.vo Norm.vo SubXor.vo

default: APIDefense.vo

#default: ${TARGETS}

%.vo: %.v
	coqc $*.v

depend:
	coqdep *.v > .depend

clean:
	rm *.vo

include .depend