From b4a08d0815342b6238d307864f0823d0f07bb691 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 26 May 2020 22:04:20 +0200 Subject: k1c -> kvx changes --- INSTALL.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'INSTALL.md') diff --git a/INSTALL.md b/INSTALL.md index 256bfa4e..4aaa431e 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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 ``` @@ -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 -- cgit