--- autoconf/gmp.orig
+++ autoconf/gmp
@@ -27,6 +27,9 @@
     --cflags=*|-cflags=*)
       cflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
 
+    --gmplib=*)
+      gmplib="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
     --type=*|-type=*)
       type="`echo $1 | sed 's/^[-a-z]*=//'`";;