TARGETS=SortedLasagna CorrSortXor Lasagna LasagnaTerms NEmptXorLayer XorLayer SortXor NXLayer SortEmpty Separable Nat2 Empty RelProps Terms

src=$(addsuffix .v, ${TARGETS})

all: $(addsuffix .vo, ${TARGETS})

%.vo: %.v
	coqc $<

%.ps: %.dep
	cat $< | dependot | dot -Tps > $@

depend:
	coqdep $(src) > depend.dep

dotgraph: depend.ps

clean:
	rm -f *.vo *~ depend.*

sinclude depend.dep