Commit 328ebc7d authored by Ben Gamari's avatar Ben Gamari 🐢

x86_64-linux-deb9: Install libgmp-dev

parent 3a445b2e
......@@ -14,7 +14,7 @@ RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA3CBA3FFE22B574
# Core build utilities
RUN apt-get update -qq && apt-get install --no-install-recommends -qy \
zlib1g-dev libtinfo-dev libsqlite3-0 libsqlite3-dev \
zlib1g-dev libtinfo-dev libsqlite3-0 libsqlite3-dev libgmp-dev \
ca-certificates g++ git make automake autoconf gcc \
perl python3 texinfo xz-utils lbzip2 bzip2 patch openssh-client sudo time \
jq wget curl \
......
Markdown is supported
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