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