diff --git a/ChangeLog b/ChangeLog
index 586973ffa1c6..4be125671c3f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-17  Nathan Sidwell  <nathan@acm.org>
+
+	* config/isl.m4 (ISL_CHECK_VERSION): Add gmp libs.
+	* configure: Regenerate.
+
 2015-12-16  Aditya Kumar  <aditya.k7@samsung.com>
 	    Sebastian Pop  <s.pop@samsung.com>
 
diff --git a/config/isl.m4 b/config/isl.m4
index 7387ff2c52d9..e4e4aab09faf 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -103,8 +103,8 @@ AC_DEFUN([ISL_CHECK_VERSION],
     _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"
 
     AC_MSG_CHECKING([for isl 0.15 (or deprecated 0.14)])
     AC_TRY_LINK([#include <isl/ctx.h>],
diff --git a/configure b/configure
index a6495c4fcceb..c3c5cb073df2 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; }