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

554da5c4 · Nikos Mavrogiannopoulos · Niels Möller · d353fb79 · 554da5c4
Commit 554da5c4 authored Mar 10, 2016 by Nikos Mavrogiannopoulos Committed by Niels Möller Mar 15, 2016
--- 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 &&