projects / ieee754fpu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d577709)
Add libgmp-dev to .gitlab-ci.yml
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 17 Apr 2020 18:40:10 +0000 (14:40 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 17 Apr 2020 18:40:24 +0000 (14:40 -0400)
.gitlab-ci.yml patch | blob | history

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a176ba34cf9b53c97dd5d6a73729e27d82256ad5..001ac42d73899c7b7a0538d7c8a1d5d93e460d46 100644 (file)
--- 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"