diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 15:37:52 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 15:41:56 +0200 |
commit | 564820f09022a93e8a50879d1fb558ac68e98f2a (patch) | |
tree | 80ebb02e81384d4e4dbf0a680a3767884732ad66 | |
parent | d58991f4e9692c3d93b365eb0c1ee26a641dac6e (diff) | |
download | compcert-kvx-564820f09022a93e8a50879d1fb558ac68e98f2a.tar.gz compcert-kvx-564820f09022a93e8a50879d1fb558ac68e98f2a.zip |
replace k1 -> kvx
-rw-r--r-- | INSTALL.md | 2 | ||||
-rw-r--r-- | README_Kalray.md | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -40,7 +40,7 @@ Pre-compilation configure replace the placeholder with your desired platform ``` ./configure <platform> ``` -If using Kalray's platform, make sure that the k1 tools are on your path +If using Kalray's platform, make sure that the kvx tools are on your path Compile (adapt -j# to the number of cores and available RAM) ``` make -j12 diff --git a/README_Kalray.md b/README_Kalray.md index c6509597..7dba03dd 100644 --- a/README_Kalray.md +++ b/README_Kalray.md @@ -27,6 +27,6 @@ make make test ``` -The reference files were generated using `k1-cos-gcc -O1`. +The reference files were generated using `kvx-cos-gcc -O1`. -We also have our own tests in `test/mppa/` - to run them, execute the script `simucheck.sh` located in that folder. These consist in comparing `compcert` output to `k1-cos-gcc` output. +We also have our own tests in `test/kvx/` - to run them, execute the script `simucheck.sh` located in that folder. These consist in comparing `compcert` output to `kvx-cos-gcc` output. |