all: Code.vo Example.vo

test:
	./compile.sh
	./test.sh

Example.vo: Example.v D.vo
	coqc Example.v

Code.vo: Code.v D.vo
	coqc Code.v

D.vo: D.v
	coqc D.v

clean:
	rm -f *.vo *.glob .*.aux
