| 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; |