blob: e0e197650ddea18b247db792e729046741a294f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
ifeq "$(COQBIN)" ""
COQBIN=$(dir $(shell which coqtop))/
endif
%: 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
-include Makefile.coq
|
