From 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 26 Jun 2018 16:24:34 +0200
Subject: Fixed CompCert library inclusion. Indirect fix for udivd and umodd

---
 configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 9f85883e..1b5b933d 100755
--- a/configure
+++ b/configure
@@ -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"
-- 
cgit