Makefile 434 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
# Makefile originally taken from coq-club
2 3 4 5

%: Makefile.coq
	+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
.PHONY: all clean