blob: d555fea236321314490fea6f75e8abbc70c152b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
all: Makefile.coq
$(MAKE) -f Makefile.coq
install: all
$(MAKE) -f Makefile.coq install
clean: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
Makefile.coq: _CoqProject
$(COQBIN)/coq_makefile -f _CoqProject -o Makefile.coq
tests: all
@$(MAKE) -C tests -s clean
@$(MAKE) -C tests -s all
|
