aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 13:13:02 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 13:13:02 -0600
commit10246c152d01c8dad4f4530e42af3eef2e57c1be (patch)
treef6bcccf53ee877406c30512c976f10aa07540b1c
parent11d14f6dd8581715e5241f1fc780a14bf4cc40a2 (diff)
downloadwormhole-10246c152d01c8dad4f4530e42af3eef2e57c1be.tar.gz
wormhole-10246c152d01c8dad4f4530e42af3eef2e57c1be.tar.bz2
wormhole-10246c152d01c8dad4f4530e42af3eef2e57c1be.zip
Add missing package
Diffstat (limited to '')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 97b03f5..d7ccee9 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,7 @@
FROM ocaml/opam:alpine as build
# Install system dependencies
-RUN sudo apk add --update libev-dev openssl-dev gmp-dev
+RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp
WORKDIR /home/opam
# Install dependencies