From b4fbf04af7aedc6c80212c80a49ef4efd6485a15 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niels=20M=C3=B6ller?= <nisse@lysator.liu.se>
Date: Fri, 6 Oct 2023 09:35:04 +0200
Subject: [PATCH] Add --enable-mini-gmp to 32-bit build.

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

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'
 
-- 
2.47.2