HyCC/Makefile at master · stskeeps/HyCC · GitHub

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
.PHONY: all clean test create-dirs build-test-default build-test-lowdepth run-test-default run-test-lowdepth

export USE_ABC
export SIMPLE_CIRCUIT_DEBUG

all:
	mkdir -p bin

	cd src/cbmc/src && $(MAKE)
	cp src/cbmc/src/cbmc/cbmc bin/cbmc

	cd src/libcircuit && $(MAKE)
	cp src/libcircuit/libcircuit.a bin/libcircuit.a

	cd src/cbmc-gc && $(MAKE)
	cd src/cbmc-gc && $(MAKE) test/test
	cp src/cbmc-gc/cbmc-gc bin/cbmc-gc

	cd src/circuit-utils && $(MAKE)

	cd src/callstack && $(MAKE)

clean:
	rm -f bin/cbmc
	rm -f bin/cbmc-gc
	cd src/cbmc/src && $(MAKE) clean
	cd src/cbmc-gc && $(MAKE) clean
	cd src/libcircuit && $(MAKE) clean
	cd src/circuit-utils && $(MAKE) clean
	cd src/callstack && $(MAKE) clean
	-cd test-default && $(MAKE) clean
	-cd test-lowdepth && $(MAKE) clean


test: build-test-default build-test-lowdepth

run-test: run-test-default run-test-lowdepth

test-default:
	cp -r test-src test-default

test-lowdepth:
	cp -r test-src test-lowdepth
	echo "--low-depth" >> test-lowdepth/CBMC_GC_FLAGS

build-test-default: test-default
	cd test-default && $(MAKE)

build-test-lowdepth: test-lowdepth
	cd test-lowdepth && $(MAKE)

run-test-default: test-default
	cd test-default && $(MAKE) run

run-test-lowdepth: test-lowdepth
	cd test-lowdepth && $(MAKE) run


minisat2-download:
	cd src/cbmc/src && $(MAKE) minisat2-download