blob: ea3d85c01ce2083e8ea68f7a5c7da6d0465f9bbc (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
# -*- Makefile -*-
V?=
VERBOSE?=V
H:= $(if $(VERBOSE),,@)
# Options
COQBIN?=$(dir $(shell which coqtop))
COQMAKEFILE?=$(COQBIN)coq_makefile
COQDEP?=$(COQBIN)coqdep
COQPROJECT?=_CoqProject
COQMAKEOPTIONS?=
COQMAKEFILEOPTIONS?=
BEFOREMAKEFILE?=
# --------------------------------------------------------------------
.PHONY: all config build clean distclean __always__
.SUFFIXES:
TOP = $(dir $(lastword $(MAKEFILE_LIST)))
COQMAKE = $(MAKE) -f Makefile.this $(COQMAKEOPTIONS)
# --------------------------------------------------------------------
all: config build
# --------------------------------------------------------------------
Makefile.coq: $(BEFOREMAKEFILE) Makefile
$(COQMAKEFILE) $(COQMAKEFILEOPTIONS) -f $(COQPROJECT) -o Makefile.coq
Makefile.this: $(BEFOREMAKEFILES) Makefile.coq $(AFTERMAKEFILES)
cat $(BEFOREMAKEFILES) Makefile.coq $(AFTERMAKEFILES) > Makefile.this
# --------------------------------------------------------------------
config: sub-config this-config Makefile.this
build: sub-build this-build
clean: sub-clean this-clean
distclean: sub-distclean this-distclean
# --------------------------------------------------------------------
.PHONY: this-config this-build this-distclean this-clean
this-build:: config
+$(COQMAKE)
this-distclean:: this-clean $(OTHERCLEAN)
rm -f Makefile.coq Makefile.coq.conf Makefile.this
this-clean::
@if [ -f Makefile.this ]; then $(COQMAKE) cleanall; fi
# --------------------------------------------------------------------
.PHONY: install
install:
$(COQMAKE) 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)}'
# --------------------------------------------------------------------
this-distclean::
rm -f $(shell find . -name '*~')
# --------------------------------------------------------------------
ifdef SUBDIRS
sub-%: __always__
@set -e; for d in $(SUBDIRS); do +$(MAKE) -C $$d $(@:sub-%=%); done
else
sub-%: __always__
@true
endif
# --------------------------------------------------------------------
%.vo: __always__
+$(COQMAKE) $@
|
