From 8ca3acccf6997bde3afa1d1074bd753f908a77c4 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 13:20:53 -0600 Subject: Add runtime deps --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Dockerfile') 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 -- cgit v1.2.3