Forked from
Iris / Iris
7379 commits behind the upstream repository.
Makefile 321 B
# Makefile taken from coq-club, Christian Doczkal <doczkal@ps.uni-saarland.de>,
# who adapted it from "somewhere".
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
.PHONY: all clean