blob: 46d2573c31aae383efe48cc4e5ff90ec8c6bb0d4 (
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
|
IGNORE:=
LIBVS:=$(wildcard src/CoqUp/Lib/*.v)
LIBVS:=$(filter-out $(IGNORE:%=%.v),$(LIBVS))
VS:=$(wildcard src/CoqUp/*.v)
VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS))
.PHONY: all install coq clean
ARGS := -R src/CoqUp CoqUp
all: coq
install:
$(MAKE) -f Makefile.coq install
coq: Makefile.coq
$(MAKE) -f Makefile.coq
Makefile.coq: Makefile $(LIBVS) $(VS)
$(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f */*.v.d */*.glob */*.vo */*~ *~
rm -f Makefile.coq
|