You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

9 lines
363 B

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;