Drop gmp from wheel build

Author: inducer

wheels/config.sh

@@ -38,15 +38,8 @@ function pre_build {
         export ABI=32
     fi
     echo "Bundled dependencies in the wheel" >> doc/misc.rst
-    build_simple2 gmp  6.1.2 https://gmplib.org/download/gmp tar.bz2 \
-        --enable-shared --disable-static --with-pic --enable-fat
-    pushd gmp-6.1.2
-      cat README >> ../doc/misc.rst
-      cat COPYING.LESSERv3 >> ../doc/misc.rst
-      echo "" >> ../doc/misc.rst
-    popd
     build_simple2 isl 0.24 https://libisl.sourceforge.io tar.gz \
-        --enable-shared --disable-static --with-int=gmp --with-gmp-prefix=$BUILD_PREFIX
+        --enable-shared --disable-static --with-int=imath-32
     pushd isl-0.24
       cat LICENSE >> ../doc/misc.rst
     popd