diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-26 22:04:20 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-26 22:04:20 +0200 |
| commit | b4a08d0815342b6238d307864f0823d0f07bb691 (patch) | |
| tree | 85f48254ca79a6e2bc9d7359017a5731f98f897f /INSTALL.md | |
| parent | 490a6caea1a95cfdbddf7aca244fa6a1c83aa9a2 (diff) | |
| download | compcert-kvx-b4a08d0815342b6238d307864f0823d0f07bb691.tar.gz compcert-kvx-b4a08d0815342b6238d307864f0823d0f07bb691.zip | |
k1c -> kvx changes
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -36,7 +36,7 @@ opam install coq menhir ## Compilation Pre-compilation configure replace the placeholder with your desired platform -(for Kalray Coolidge it is `k1c-cos`) +(for Kalray Coolidge it is `kvx-cos`) ``` ./configure <platform> ``` @@ -57,7 +57,7 @@ ccomp -O3 test.c -o test.bin ``` ## Changing platform -If you decide to change the platform, for instance from k1c-cos to k1c-mbr, you +If you decide to change the platform, for instance from kvx-cos to kvx-mbr, you should change the `compcert.ini` file with the respective tools and then run ``` make install |