diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 15:21:35 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 15:21:35 +0200 |
commit | fa0271962d23a06ae2456d88291409cb27f3076a (patch) | |
tree | 33ace154343f223cbf62d64cf7dfcf544b9f121f | |
parent | 7811a12e452fb5ffb6953f7e1610aad1d473b396 (diff) | |
download | compcert-kvx-fa0271962d23a06ae2456d88291409cb27f3076a.tar.gz compcert-kvx-fa0271962d23a06ae2456d88291409cb27f3076a.zip |
Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)
-rw-r--r-- | test/monniaux/Makefile | 4 | ||||
-rwxr-xr-x | test/monniaux/gencompile.py | 2 | ||||
-rwxr-xr-x | test/monniaux/gengraphs.py | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index af4f039f..e099ed51 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -22,10 +22,10 @@ measures.csv: bash run_benches.sh $@ compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt - python3.6 $^ $@ + python3.5 $^ $@ measure_times.k1c.pdf: gengraphs.py measures.csv - python3.6 $^ $(basename $(basename $@)) + python3.5 $^ $(basename $(basename $@)) .PHONY: clean: diff --git a/test/monniaux/gencompile.py b/test/monniaux/gencompile.py index 6167c522..739e535a 100755 --- a/test/monniaux/gencompile.py +++ b/test/monniaux/gencompile.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3.6 +#!/usr/bin/python3.5 import numpy as np # type: ignore import matplotlib.pyplot as plt # type: ignore diff --git a/test/monniaux/gengraphs.py b/test/monniaux/gengraphs.py index 97cb08dc..feb9f185 100755 --- a/test/monniaux/gengraphs.py +++ b/test/monniaux/gengraphs.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3.6 +#!/usr/bin/python3.5 import numpy as np # type: ignore import matplotlib.pyplot as plt # type: ignore |