Skip to content
Snippets Groups Projects
Commit 7066fbda authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

armv7: Install libgmp-dev

parent 0c5a2437
No related branches found
No related tags found
No related merge requests found
Pipeline #7096 passed with warnings
Stage: lint
Stage: build
Hide whitespace changes
Inline Side-by-side
armv7-linux-deb9/Dockerfile
+ 2
− 1
View file @ 7066fbda
...@@ -6,7 +6,8 @@ SHELL ["/bin/bash", "-o", "pipefail", "-c"] ...@@ -6,7 +6,8 @@ SHELL ["/bin/bash", "-o", "pipefail", "-c"]
# Core build utilities # Core build utilities
RUN apt-get update \ RUN apt-get update \
&& apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libgmp10 libsqlite3-0 libsqlite3-dev \ && apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libgmp10 libgmp-dev \
libsqlite3-0 libsqlite3-dev \
ca-certificates g++ git make automake autoconf gcc \ ca-certificates g++ git make automake autoconf gcc \
perl python3 texinfo xz-utils lbzip2 bzip2 patch openssh-client sudo time \ perl python3 texinfo xz-utils lbzip2 bzip2 patch openssh-client sudo time \
jq wget curl \ jq wget curl \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment