diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-02 14:33:33 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 12:03:34 +0200 |
| commit | 27b99ba6e3f93d098f276419ab57f4fb39297409 (patch) | |
| tree | cd29e0c3839008c31214b2399e9f5a6b3dbe3049 | |
| parent | 4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9 (diff) | |
| download | compcert-kvx-27b99ba6e3f93d098f276419ab57f4fb39297409.tar.gz compcert-kvx-27b99ba6e3f93d098f276419ab57f4fb39297409.zip | |
Recompile CompCert before applying the patch and compiling itjuly2019
| -rw-r--r-- | test/monniaux/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index c864cf4e..12f2bfe2 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -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 $@ |