From: Michael Nolan <mtnolan2640@gmail.com>
Date: Fri, 17 Apr 2020 18:40:10 +0000 (-0400)
Subject: Add libgmp-dev to .gitlab-ci.yml
X-Git-Tag: ls180-24jan2020~82
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84a6dc68e555fc751b83342ca1f668ded9d13580;p=ieee754fpu.git

Add libgmp-dev to .gitlab-ci.yml
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a176ba34..001ac42d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,6 +13,7 @@ build:
             build-essential git python3-dev python3-pip
             python3-setuptools python3-wheel pkg-config tcl-dev
             libreadline-dev bison flex libffi-dev ccache python3-venv
+	    libgmp-dev
         - export PATH="/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"