Makefile 617 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
# Makefile originally taken from coq-club
2

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

6
all: Makefile.coq
7
	+@make -f Makefile.coq all
8 9

clean: Makefile.coq
10
	+@make -f Makefile.coq clean
11 12
	rm -f Makefile.coq

13
Makefile.coq: _CoqProject Makefile
14 15
	coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' \
	  | sed '/^install:$$/a \\tif [ -d "$$(DSTROOT)"$$(COQLIBINSTALL)/iris/ ]; then find "$$(DSTROOT)"$$(COQLIBINSTALL)/iris/ -name "*.vo" -print -delete; fi' > Makefile.coq
16

17 18 19
_CoqProject: ;

Makefile: ;
20

21 22
phony: ;

23
.PHONY: all clean phony