projects / ieee754fpu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7835728)
add libmpfr-dev to .gitlab-ci.yml
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Apr 2020 21:32:50 +0000 (14:32 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Apr 2020 21:32:50 +0000 (14:32 -0700)
.gitlab-ci.yml patch | blob | history

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fa2e97958d61ac83b27ec824b90b51a7d14f647b..4094971c92ab6976509bd08e6249187622a3ce7d 100644 (file)
--- 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"