diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:55:11 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:55:11 +0200 |
| commit | 0172a007be382d10f81391d8b4df076a1487daed (patch) | |
| tree | 0689f96ed3c96e4023d3669353e80815bfbd1b4d /test/monniaux/Makefile | |
| parent | 2ca746bc66b88dffe5a7dd5e29dc03ebd034b87d (diff) | |
| download | compcert-kvx-0172a007be382d10f81391d8b4df076a1487daed.tar.gz compcert-kvx-0172a007be382d10f81391d8b4df076a1487daed.zip | |
Adding clean to test/monniaux/Makefile
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile new file mode 100644 index 00000000..0831a93c --- /dev/null +++ b/test/monniaux/Makefile @@ -0,0 +1,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 |