Makefile 459 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 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