From 3181fe5407ed0221714830e2bd1e19850eac5461 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 1 Jun 2021 18:28:11 +0200
Subject: Remove install path bricolage for kvx

---
 INSTALL.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index e80fb600..f072a211 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -44,8 +44,11 @@ opam pin add coq 8.11.0 # example of Coq version
 Pre-compilation configure replace the placeholder with your desired platform
 (for Kalray Coolidge it is `kvx-cos`)
 ```
-./configure <platform>
+./configure -prefix ~/.usr <platform>
 ```
+
+`PREFIX` is where CompCert will be installed after `make install`
+
 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)
 ```
@@ -54,7 +57,7 @@ make install
 ```
 
 ## Utilization
-`ccomp` binaries are installed at `$(HOME)/.usr/bin`
+`ccomp` binaries are installed at `$(PREFIX)/bin`
 Make sure to add that to your path to ease its use
 Now you may use it like a regular compiler
 ```
-- 
cgit