diff --git a/src/configure b/src/configure
index d57ab49a8..2511fd563 100755
--- a/src/configure
+++ b/src/configure
@@ -4838,7 +4838,7 @@ $as_echo "$as_me: Configuring included GMP library:" >&6;}
 	--infodir=${destdir}/doc --includedir=${destdir}/ecl --with-pic \
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
-        $with_gmp)
+        ABI=$ABI $with_gmp)
     fi
   fi
   with_gmp="yes"
diff --git a/src/configure.in b/src/configure.in
index 8fdbab51b..47bd0d7a0 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -370,7 +370,7 @@ else
 	--infodir=${destdir}/doc --includedir=${destdir}/ecl --with-pic \
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
-        $with_gmp)
+        ABI=$ABI $with_gmp)
     fi
   fi
   with_gmp="yes"