blob: 30204d20dda4135125d932c3cf077a38402db4f0 (
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
|
# -*- Makefile -*-
COQPROJECT="Make"
# --------------------------------------------------------------------
include Makefile.common
# --------------------------------------------------------------------
COQMAKEOPTIONS=--no-print-directory
# --------------------------------------------------------------------
.PHONY: install
install:
$(MAKE) -f Makefile.coq install
# --------------------------------------------------------------------
.PHONY: count
COQFILES := $(shell grep '.v$$' Make)
count:
@coqwc $(COQFILES) | tail -1 | \
awk '{printf ("%d (spec=%d+proof=%d)\n", $$1+$$2, $$1, $$2)}'
|
