From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 21 Apr 2020 00:21:03 +0000 (-0700)
Subject: add libmpfr-dev to .gitlab-ci.yml
X-Git-Tag: div_pipeline~1417
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d557f4fb2a9e5b159c7abbdcd1d85712fabc6b9b;p=soc.git

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d3d9191f..fab4bcb3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ build:
             python3-setuptools python3-wheel pkg-config tcl-dev
             libreadline-dev bison flex libffi-dev ccache python3-venv
             binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
-            autoconf gperf libgmp-dev
+            autoconf gperf libgmp-dev libmpfr-dev
         - export PATH="/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"