diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:18 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:18 +0100 |
commit | 962c8f9935b257c1df6bddfc88ec41d4822f65c3 (patch) | |
tree | 765bc195e03a53b48d113e24cb631485d08d4b71 /test/monniaux/Makefile | |
parent | edf0180351f7fbdb129f1f5f1debf3a66a478cda (diff) | |
download | compcert-kvx-962c8f9935b257c1df6bddfc88ec41d4822f65c3.tar.gz compcert-kvx-962c8f9935b257c1df6bddfc88ec41d4822f65c3.zip |
Removing clutter from building + running benches
Diffstat (limited to 'test/monniaux/Makefile')
-rw-r--r-- | test/monniaux/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index a6b19891..d7437eea 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -20,9 +20,12 @@ oracle_times.txt: PostpassSchedulingOracle.patch bash build_benches.sh $@ measures.csv: - (cd ../../ && make -j20 && make install) - bash build_benches.sh - bash run_benches.sh $@ + @echo "Building compcert.." + @(cd ../../ && make -s -j20 && make -s install) + @echo "Building benches..." + @bash build_benches.sh + @echo "Benches built. Running benches..." + @bash run_benches.sh $@ #compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt # python3.5 $^ $@ @@ -32,4 +35,5 @@ measures.csv: .PHONY: clean: + @bash clean_benches.sh rm -f verifier_times.txt oracle_times.txt compile_times.pdf measure_times.k1c.pdf measures.csv |