From 9bc337d05eed466e2bfc9b18aa35fac34d3954a9 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Thu, 18 Jul 2019 17:53:35 +0200 Subject: Fixing the generation of verifier_times.txt and oracle_times.txt --- test/monniaux/Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'test/monniaux/Makefile') diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index 12f2bfe2..a6b19891 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -2,20 +2,20 @@ CCOMP?=ccomp -#all: compile_times.pdf measure_times.k1c.pdf +#all: verifier_times.txt oracle_times.txt measures.csv all: measures.csv verifier_times.txt: Asmblockdeps.patch - (cd ../../ && make -j20) + (cd ../../ && make -j20 && make install) patch $(realpath ../../extraction/Asmblockdeps.ml) < $< - (cd ../../ && make -j20); patch -R $(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) + (cd ../../ && make -j20 && make install) patch $(realpath ../../mppa_k1c/PostpassSchedulingOracle.ml) < $< - (cd ../../ && make -j20); patch -R $(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 $@ -- cgit