Makefile 291 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
# Makefile originally taken from coq-club
2 3 4 5 6 7 8 9 10 11
all: Makefile.coq
	+make -f Makefile.coq all

clean: Makefile.coq
	+make -f Makefile.coq clean
	rm -f Makefile.coq

Makefile.coq: _CoqProject
	coq_makefile -f _CoqProject -o Makefile.coq

12 13 14
%: Makefile.coq
	+make -f Makefile.coq $@

15
.PHONY: all clean