summaryrefslogtreecommitdiff
blob: f66638478af1e43c74ce10eefd2ebe72cba5562e (plain)
1
2
3
4
5
6
7
8
diff -r -U1 gcl.orig/configure gcl/configure
--- gcl.orig/configure	2013-11-11 21:55:48.000000000 +0700
+++ gcl/configure	2014-03-30 17:25:04.874994142 +0700
@@ -5027,3 +5027,3 @@
 				    int main() {
-				    #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5
+				    #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5 || __GNU_MP_VERSION == 6
 					return 0;