diff --git a/ChangeLog b/ChangeLog
index 7f3c0708a45a..2052b67e9a3c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2014-12-04	Jack Howarth  <howarth@bromo.med.uc.edu>
+
+	* config/isl.m4: Don't pass -DCLOOG_INT_GMP on islinc.
+	* configure: Regenerated.
+
 2014-11-27  Bernd Schmidt  <bernds@codesourcery.com>
 
 	* MAINTAINERS (nvptx port): New entry.
diff --git a/config/isl.m4 b/config/isl.m4
index 0eece37bc9a5..459fac1e3e70 100644
--- a/config/isl.m4
+++ b/config/isl.m4
@@ -69,7 +69,6 @@ AC_DEFUN([ISL_INIT_FLAGS],
     AC_MSG_WARN([using in-tree ISL, disabling version check])
   fi
 
-  islinc="-DCLOOG_INT_GMP ${islinc}"
   isllibs="${isllibs} -lisl"
 ]
 )
diff --git a/configure b/configure
index 9e6684ce7cd4..297f38e5195a 100755
--- a/configure
+++ b/configure
@@ -5939,7 +5939,6 @@ fi
 $as_echo "$as_me: WARNING: using in-tree ISL, disabling version check" >&2;}
   fi
 
-  islinc="-DCLOOG_INT_GMP ${islinc}"
   isllibs="${isllibs} -lisl"