# Don't use libmpc and libmpfr to find libisl
# by wpoely86@gmail.com
diff -ur gcc-6.1.0.orig/configure gcc-6.1.0/configure
--- gcc-6.1.0.orig/configure	2016-08-26 17:51:48.470524515 +0200
+++ gcc-6.1.0/configure	2016-03-17 23:54:19.000000000 +0100
@@ -6018,7 +6018,7 @@
     _isl_saved_LIBS=$LIBS

     CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
-    LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}"
+    LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
     LIBS="${_isl_saved_LIBS} -lisl -lgmp"

     { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.16, 0.15, or deprecated 0.14" >&5
