diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:21:00 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:21:00 -0600 |
| commit | 7de595b75bb12c96d3da6382805643dbd7063680 (patch) | |
| tree | 018daf54e9e703d0376d7b9398afd5107eb674b4 | |
| parent | ce792e552d27e3c83251f11434795095dea7a93f (diff) | |
| download | wormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.gz wormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.bz2 wormhole-7de595b75bb12c96d3da6382805643dbd7063680.zip | |
Simplify dockerfile
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 8 |
1 files changed, 1 insertions, 7 deletions
@@ -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 |