Commit 27b99ba6 authored by Cyril SIX's avatar Cyril SIX
Browse files

Recompile CompCert before applying the patch and compiling it

parent 4ab0a6b4
......@@ -6,14 +6,16 @@ CCOMP?=ccomp
all: measures.csv
verifier_times.txt: Asmblockdeps.patch
(cd ../../ && make -j20)
patch $(realpath ../../extraction/Asmblockdeps.ml) < $<
(cd ../../ && make -j20 && make install); patch -R $(realpath ../../extraction/Asmblockdeps.ml) < $<
(cd ../../ && make -j20); patch -R $(realpath ../../extraction/Asmblockdeps.ml) < $<
bash clean_benches.sh
bash build_benches.sh $@
oracle_times.txt: PostpassSchedulingOracle.patch
(cd ../../ && make -j20)
patch $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $<
(cd ../../ && make -j20 && make install); patch -R $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $<
(cd ../../ && make -j20); patch -R $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $<
bash clean_benches.sh
bash build_benches.sh $@
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment