diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
| commit | 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a (patch) | |
| tree | 4b7dc97609bc60e463503e04748e01dd60c44029 /configure | |
| parent | 408ae8c4451b49277e8b97bbb7cedd2fb905bcdb (diff) | |
| download | compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.tar.gz compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.zip | |
Fixed CompCert library inclusion. Indirect fix for udivd and umodd
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -420,7 +420,9 @@ if test "$arch" = "mppa_k1c"; then casm_options="$model_options -c" cc="${toolprefix}gcc $model_options" clinker="${toolprefix}gcc" - clinker_options="$model_options" + bindir="$HOME/.usr/bin" + libdir="$HOME/.usr/lib" + clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir" cprepro="${toolprefix}gcc" cprepro_options="$model_options -std=c99 -U__GNUC__ -E" libmath="-lm" |