From 05c50652b835f4ddb3cb4d3f67356441b8d97f73 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20A=2E=20Ortega?=
 <deathsbreed@themusicinnoise.net>
Date: Fri, 2 Dec 2016 16:35:07 +0100
Subject: [PATCH] Added GMP as a deps for CI.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8079812..51ce770 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ image: gcc
 build:
     stage: build
     before_script:
-        - apt update && apt -y install cmake libgomp1
+        - apt update && apt -y install cmake libgomp1 libgmp-dev
     script:
         - cd build/
         - cmake -DCMAKE_BUILD_TYPE=Release ..