diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 ``` |