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

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

6 7 8 9 10 11 12
all: Makefile.coq
	+make -f Makefile.coq all

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

13 14
Makefile.coq: _CoqProject Makefile
	coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
15

16 17 18
_CoqProject: ;

Makefile: ;
19

20 21 22
phony: ;

.PHONY: all clean phony