Add --enable-mini-gmp to 32-bit build.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ec0d8cb6739a980882efcbdb5f681a351e7a3609..a6c4ea1a44b5e47182e433bcb758e6723eccad97 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,6 +47,7 @@ native/no-shared:
 native/32-bit:
   extends: .native-build
   variables:
+    EXTRA_CONFIGURE_ARGS: '--enable-mini-gmp'
     CC: 'gcc -m32'
     CXX: '/bin/false'