From 7cb00447cb87719968390e1bd13e44e1da8c6329 Mon Sep 17 00:00:00 2001
From: Alexander Konovalov <alexk@mcs.st-andrews.ac.uk>
Date: Mon, 13 Mar 2017 10:04:11 +0000
Subject: [PATCH] Add more variants for Travis builds

---
 .travis.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 66f9f45a6cb..ba894e3120f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,6 +13,12 @@ addons:
     - libgmp-dev
     - libreadline-dev
 
+env:
+  - ABI=32 GMP=yes
+  - ABI=32 GMP=system
+  - ABI=64 GMP=yes
+  - ABI=64 GMP=system
+
 matrix:
   include:
     # 64bit linux builds with GCC