From 07ae82722fe83043bb055a979f0831abcd01a006 Mon Sep 17 00:00:00 2001
From: nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 17 Dec 2015 13:56:45 +0000
Subject: 	* config/isl.m4 (ISL_CHECK_VERSION): Add gmp libs. 	*
 configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231759 138bc75d-0d04-0410-961f-82ee72b054a4
---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index a6495c4fcce..c3c5cb073df 100755
--- a/configure
+++ b/configure
@@ -6017,8 +6017,8 @@ $as_echo "$as_me: WARNING: using in-tree isl, disabling version check" >&2;}
     _isl_saved_LIBS=$LIBS
 
     CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
-    LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
-    LIBS="${_isl_saved_LIBS} -lisl"
+    LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}"
+    LIBS="${_isl_saved_LIBS} -lisl -lgmp"
 
     { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.15 (or deprecated 0.14)" >&5
 $as_echo_n "checking for isl 0.15 (or deprecated 0.14)... " >&6; }
-- 
cgit v1.2.3