From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 17 Apr 2020 21:32:50 +0000 (-0700)
Subject: add libmpfr-dev to .gitlab-ci.yml
X-Git-Tag: ls180-24jan2020~80
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cec6f51e8b2a1ba2c2f83965be7219885ea163f0;p=ieee754fpu.git

add libmpfr-dev to .gitlab-ci.yml
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fa2e9795..4094971c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,7 +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
+            libgmp-dev libmpfr-dev
         - export PATH="/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"