From: Nikos Mavrogiannopoulos <nmav@redhat.com>
Date: Thu, 10 Mar 2016 16:45:07 +0000 (+0100)
Subject: .gitlab-ci.yml: enhance with mini-gmp builds
X-Git-Tag: nettle_3.3_release_20161001~59
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=554da5c458ecfcf4e6d7237775f6909faacb74d9;p=thirdparty%2Fnettle.git

.gitlab-ci.yml: enhance with mini-gmp builds
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8d44cbb7..eafe0d6c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,6 +17,14 @@ Build and Check (x86):
   - x86
   except:
   - tags
+Build and Check with mini-gmp:
+  script:
+  - ./.bootstrap &&
+    ./configure --disable-documentation --enable-mini-gmp && make -j4 &&
+    make check -j4
+  tags:
+  except:
+  - tags
 Build and Check with ubsan:
   script:
   - ./.bootstrap &&