Makefile 405 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
# https://blog.zhenzhang.me/2016/09/19/coq-dev.html

# Makefile originally taken from coq-club

%: Makefile.coq phony
	+make -f Makefile.coq $@

all: Makefile.coq
	+make -f Makefile.coq all

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

Makefile.coq: _CoqProject Makefile
16
	coq_makefile -f _CoqProject -o Makefile.coq
17 18 19 20 21 22 23 24

_CoqProject: ;

Makefile: ;

phony: ;

.PHONY: all clean phony