diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 11:53:45 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 11:53:45 +0200 |
commit | 258946400bd2617074455787ee10c5bd5a9f27bd (patch) | |
tree | 851ca04349810f5ae17c237c337bf790b19af183 /test | |
parent | d0d234e3a8b195519f60f224b40cf74c6a7691d7 (diff) | |
download | compcert-kvx-258946400bd2617074455787ee10c5bd5a9f27bd.tar.gz compcert-kvx-258946400bd2617074455787ee10c5bd5a9f27bd.zip |
Only generating measure.csv in test/monniaux/Makefile
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index e099ed51..c864cf4e 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -2,7 +2,8 @@ CCOMP?=ccomp -all: compile_times.pdf measure_times.k1c.pdf +#all: compile_times.pdf measure_times.k1c.pdf +all: measures.csv verifier_times.txt: Asmblockdeps.patch patch $(realpath ../../extraction/Asmblockdeps.ml) < $< @@ -21,11 +22,11 @@ measures.csv: bash build_benches.sh bash run_benches.sh $@ -compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt - python3.5 $^ $@ - -measure_times.k1c.pdf: gengraphs.py measures.csv - python3.5 $^ $(basename $(basename $@)) +#compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt +# python3.5 $^ $@ +# +#measure_times.k1c.pdf: gengraphs.py measures.csv +# python3.5 $^ $(basename $(basename $@)) .PHONY: clean: |