Makefile · e4c96015866317abecf20604839c0894c8ebc5d5 · Ike Mulder / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6560 commits behind the upstream repository.

9 years ago

Makefile attribution · 68b961a8

Ralf Jung authored 9 years ago

I talked with Christian, he is not the original author and forgot where it came
from, probably some coq-club mail.

68b961a8

Makefile attribution

Ralf Jung authored 9 years ago

I talked with Christian, he is not the original author and forgot where it came
from, probably some coq-club mail.

Makefile 291 B

# Makefile originally taken from coq-club
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

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

.PHONY: all clean