aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 08:21:00 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 08:21:00 -0600
commit7de595b75bb12c96d3da6382805643dbd7063680 (patch)
tree018daf54e9e703d0376d7b9398afd5107eb674b4
parentce792e552d27e3c83251f11434795095dea7a93f (diff)
downloadwormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.gz
wormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.bz2
wormhole-7de595b75bb12c96d3da6382805643dbd7063680.zip
Simplify dockerfile
Diffstat (limited to '')
-rw-r--r--Dockerfile8
1 files changed, 1 insertions, 7 deletions
diff --git a/Dockerfile b/Dockerfile
index f158b0c..167f76c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -4,14 +4,8 @@ FROM ocaml/opam:alpine as build
RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp
WORKDIR /home/opam
-# Install dependencies
-ADD wormhole.opam wormhole.opam
-RUN opam install . --deps-only --verbose
-
-# Build project
ADD . .
-RUN opam exec -- dune build -j 1
-
+RUN dune build -j 1
FROM alpine:3.18.4 as run