blob: 3bceb4abc036e8185a9916f27937dad66c6cfff0 (
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
|
# NOTE: do NOT run this makefile with the -j option
CCOMP?=ccomp
#all: verifier_times.txt oracle_times.txt measures.csv
all: measures.csv
verifier_times.txt: Asmblockdeps.patch
(cd ../../ && make -j20 && make install)
patch $(realpath ../../extraction/Asmblockdeps.ml) < $<
(cd ../../ && make -j20 && make install); patch -R $(realpath ../../extraction/Asmblockdeps.ml) < $<
bash clean_benches.sh
bash build_benches.sh $@
oracle_times.txt: PostpassSchedulingOracle.patch
(cd ../../ && make -j20 && make install)
patch $(realpath ../../kvx/PostpassSchedulingOracle.ml) < $<
(cd ../../ && make -j20 && make install); patch -R $(realpath ../../kvx/PostpassSchedulingOracle.ml) < $<
bash clean_benches.sh
bash build_benches.sh $@
measures.csv:
@echo "Building compcert.."
@(cd ../../ && make -s -j20 && make -s install)
@echo "Building benches..."
@bash build_benches.sh
@echo "Benches built. Running benches..."
@bash run_benches.sh $@
#compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt
# python3.5 $^ $@
#
#measure_times.kvx.pdf: gengraphs.py measures.csv
# python3.5 $^ $(basename $(basename $@))
.PHONY:
clean:
@bash clean_benches.sh
rm -f verifier_times.txt oracle_times.txt compile_times.pdf measure_times.kvx.pdf measures.csv
|