blob: af4f039f65dae2563c6db979e9e2e60db8c2ab5c (
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
|
# NOTE: do NOT run this makefile with the -j option
CCOMP?=ccomp
all: compile_times.pdf measure_times.k1c.pdf
verifier_times.txt: Asmblockdeps.patch
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
patch $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $<
(cd ../../ && make -j20 && make install); patch -R $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $<
bash clean_benches.sh
bash build_benches.sh $@
measures.csv:
(cd ../../ && make -j20 && make install)
bash build_benches.sh
bash run_benches.sh $@
compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt
python3.6 $^ $@
measure_times.k1c.pdf: gengraphs.py measures.csv
python3.6 $^ $(basename $(basename $@))
.PHONY:
clean:
rm -f verifier_times.txt oracle_times.txt compile_times.pdf measure_times.k1c.pdf measures.csv
|
