-
Notifications
You must be signed in to change notification settings - Fork 2
/
Makefile
37 lines (28 loc) · 854 Bytes
/
Makefile
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
MODULE:=Bedrock
.PHONY: all clean dist native ltac version
all:
# BEWARE: This will probably take a long time (and may require up to 4GB of memory)!
$(MAKE) -C src/reification
$(MAKE) -C src
$(MAKE) -C examples
clean:
$(MAKE) -C src/reification clean
$(MAKE) -C src clean
$(MAKE) -C examples clean
native:
$(MAKE) -C src native
ltac:
$(MAKE) -C src ltac
version:
$(MAKE) -C src version
dist:
hg archive -t tgz /tmp/bedrock.tgz
.dir-locals.el: tools/dir-locals.el Makefile
@ sed s,PWD,$(shell pwd -P),g tools/dir-locals.el | sed s,MOD,$(MODULE),g > .dir-locals.el
time:
@ rm -rf timing
@ ./tools/timer.py timing/ src/*.v examples/*.v src/*/*.v
@ cp Makefile timing/Makefile
@ cp -r src/Makefile src/Makefile.coq src/reification/ timing/src
@ cp examples/Makefile examples/Makefile.coq timing/examples
@ (cd timing; $(MAKE) all)