gitlab-ci: Use mini-gmp for big-endian powerpc64 cross build

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 73256c0a562c19d7792cbf962146406fee3b767c..45e0d9ef012d6e4566a7f1bf76f0ed35c62a0fb2 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -144,7 +144,7 @@ Debian.cross.x86:
   - apt-get update -q
   # remove any previously installed nettle headers to avoid conflicts
   - for arch in armhf arm64 ppc64el;do apt-get remove -y nettle-dev:$arch;done
-  - if [ "$host" == "powerpc64-linux-gnu" ];then apt-get update && apt-get install -y gcc-$host g++-$host libgmp-dev:ppc64 && export QEMU_LD_PREFIX=/usr/$host;fi
+  - if [ "$host" == "powerpc64-linux-gnu" ];then apt-get update && apt-get install -y gcc-$host g++-$host && export QEMU_LD_PREFIX=/usr/$host EXTRA_CONFIGURE_FLAGS='--enable-mini-gmp';fi
   - if [ "$host" == "powerpc64le-linux-gnu" ];then apt-get update && apt-get install -y gcc-$host g++-$host libgmp-dev:ppc64el && export QEMU_LD_PREFIX=/usr/$host;fi
   - if [ "$host" == "s390x-linux-gnu" ];then apt-get update && apt-get install -y gcc-$host g++-$host libgmp-dev:s390x && export EXTRA_CONFIGURE_FLAGS='--disable-assembler';fi
   script: