coq :  coq/stttab.vo coq2/set0a.vo

coq/stttab.vo : coq/stt.vo coq/stttab.v
	cd coq; $(COQC) stttab

coq/stt.vo : coq/stt.v
	cd coq; $(COQC) stt

coq2/stt0.vo : coq2/stt0.v
	cd coq2; $(COQC) -nois stt0

coq2/stt1.vo : coq2/stt1.v coq2/stt0.vo
	cd coq2; $(COQC) -nois stt1

coq2/stt2.vo : coq2/stt2.v coq2/stt1.vo
	cd coq2; $(COQC) -nois stt2

coq2/stt3.vo : coq2/stt3.v coq2/stt2.vo
	cd coq2; $(COQC) -nois stt3

coq2/stt4.vo : coq2/stt4.v coq2/stt3.vo
	cd coq2; $(COQC) -nois stt4

coq2/set0a.vo : coq2/set0a.v coq2/stt4.vo
	cd coq2; $(COQC) -nois set0a

clean :
	rm -f coq/*.vo coq2/*.vo