blob: f877aedff9db6e42103b3ba8f9a054edfe2a6c4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
default_target: all
COQMAKEFILE=$(COQBIN)coq_makefile
all: Makefile.coq
$(MAKE) -f Makefile.coq
doc: all
$(MAKE) -f Makefile.coq html
html: doc
clean: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq Makefile.coq.conf _CoqProject
install: Makefile.coq
$(MAKE) -f Makefile.coq install
Makefile.coq: _CoqProject
$(COQMAKEFILE) -f _CoqProject -o Makefile.coq
_CoqProject::
rm -f _CoqProject
echo "-Q theories bbv" > _CoqProject
find theories -type f -name '*.v' | sort >> _CoqProject
|
