diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 18:28:11 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 18:28:11 +0200 |
| commit | 3181fe5407ed0221714830e2bd1e19850eac5461 (patch) | |
| tree | 2dac9283c1a36182b1a80b76483aed6c16dfdbc8 /configure | |
| parent | 14b113df3ed94998707b6ac851e0d550ed7f14e1 (diff) | |
| download | compcert-kvx-3181fe5407ed0221714830e2bd1e19850eac5461.tar.gz compcert-kvx-3181fe5407ed0221714830e2bd1e19850eac5461.zip | |
Remove install path bricolage for kvxv3.9_kvx
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -431,8 +431,6 @@ if test "$arch" = "kvx"; then casm_options="$model_options" cc="$k1base-gcc $model_options" clinker="$k1base-gcc" - bindir="$HOME/.usr/bin" - libdir="$HOME/.usr/lib" clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir" cprepro="$k1base-gcc" cprepro_options="$model_options -D __KVX_${osupper}__ -std=c99 -E -include ccomp_kvx_fixes.h" |