Makefile 594 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 15 16 17 18
uninstall:
	+@make -f Makefile.uninstall uninstall

install: Makefile.coq uninstall
	+@make -f Makefile.coq install

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

22 23 24
_CoqProject: ;

Makefile: ;
25

26 27
phony: ;

28
.PHONY: all clean install uninstall phony