diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 14:57:45 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 14:57:45 +0200 |
| commit | 7811a12e452fb5ffb6953f7e1610aad1d473b396 (patch) | |
| tree | 1f00e7909f6c322b594745967aa3b9f95545194c /test/monniaux/Makefile | |
| parent | 2e5a2138b9853717f467e4cce5ab397d380bb368 (diff) | |
| download | compcert-kvx-7811a12e452fb5ffb6953f7e1610aad1d473b396.tar.gz compcert-kvx-7811a12e452fb5ffb6953f7e1610aad1d473b396.zip | |
Circumventing a bug from patch
https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index b436c034..af4f039f 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -5,14 +5,14 @@ CCOMP?=ccomp all: compile_times.pdf measure_times.k1c.pdf verifier_times.txt: Asmblockdeps.patch - patch ../../extraction/Asmblockdeps.ml < $< - (cd ../../ && make -j20 && make install); patch -R ../../extraction/Asmblockdeps.ml < $< + 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 ../../mppa_k1c/PostpassSchedulingOracle.ml < $< - (cd ../../ && make -j20 && make install); patch -R ../../mppa_k1c/PostpassSchedulingOracle.ml < $< + 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 $@ |