From c5f4b981309476be8b3e591584d18d3309511e00 Mon Sep 17 00:00:00 2001
From: Jasper Van der Jeugt <m@jaspervdj.be>
Date: Fri, 20 Jan 2017 22:06:27 +0100
Subject: Install libgmp-dev on travis

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

diff --git a/.travis.yml b/.travis.yml
index 2610102..5e5c816 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,6 +5,11 @@ cache:
   directories:
   - $HOME/.stack
 
+addons:
+  apt:
+    packages:
+    - libgmp-dev
+
 before_install:
 - mkdir -p ~/.local/bin
 - export PATH=$HOME/.local/bin:$PATH
-- 
cgit v1.2.3