From: Niels Möller <nisse@lysator.liu.se>
Date: Fri, 6 Oct 2023 07:35:04 +0000 (+0200)
Subject: Add --enable-mini-gmp to 32-bit build.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b4fbf04af7aedc6c80212c80a49ef4efd6485a15;p=thirdparty%2Fnettle.git

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ec0d8cb6..a6c4ea1a 100644
--- 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'