Commit 3181fe54 authored by Cyril SIX's avatar Cyril SIX
Browse files

Remove install path bricolage for kvx

parent 14b113df
Pipeline #68319 waiting for manual action with stage
...@@ -44,8 +44,11 @@ opam pin add coq 8.11.0 # example of Coq version ...@@ -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 Pre-compilation configure replace the placeholder with your desired platform
(for Kalray Coolidge it is `kvx-cos`) (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 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) Compile (adapt -j# to the number of cores and available RAM)
``` ```
...@@ -54,7 +57,7 @@ make install ...@@ -54,7 +57,7 @@ make install
``` ```
## Utilization ## 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 Make sure to add that to your path to ease its use
Now you may use it like a regular compiler Now you may use it like a regular compiler
``` ```
......
...@@ -431,8 +431,6 @@ if test "$arch" = "kvx"; then ...@@ -431,8 +431,6 @@ if test "$arch" = "kvx"; then
casm_options="$model_options" casm_options="$model_options"
cc="$k1base-gcc $model_options" cc="$k1base-gcc $model_options"
clinker="$k1base-gcc" clinker="$k1base-gcc"
bindir="$HOME/.usr/bin"
libdir="$HOME/.usr/lib"
clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir" clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir"
cprepro="$k1base-gcc" cprepro="$k1base-gcc"
cprepro_options="$model_options -D __KVX_${osupper}__ -std=c99 -E -include ccomp_kvx_fixes.h" cprepro_options="$model_options -D __KVX_${osupper}__ -std=c99 -E -include ccomp_kvx_fixes.h"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment