aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 13:20:53 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 13:20:53 -0600
commit8ca3acccf6997bde3afa1d1074bd753f908a77c4 (patch)
tree1e29724bed0e6ec4f7e7e398593e1a32eb0476af
parente934fdb7710b152152019785dc93696541cd8078 (diff)
downloadwormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.tar.gz
wormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.tar.bz2
wormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.zip
Add runtime deps
-rw-r--r--Dockerfile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 560ee66..a03e5ef 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 gmp libgmp10
+RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp
WORKDIR /home/opam
# Install dependencies
@@ -15,7 +15,7 @@ RUN opam exec -- dune build -j 1 --verbose
FROM alpine:3.18.4 as run
-RUN apk add --update libev
+RUN apk add --update libev openssl gmp
COPY --from=build /home/opam/_build/default/bin/main.exe /bin/app