diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:25:45 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:25:45 -0600 |
| commit | 83e0373340d6e1348f97e9ca1c128d2eed4fbfd0 (patch) | |
| tree | d0b67274cb8cbe5172ae6447767abf04604c456c /Dockerfile | |
| parent | 424dd2ed828ecc750d9c4ea05c894553e9aae887 (diff) | |
| download | wormhole-83e0373340d6e1348f97e9ca1c128d2eed4fbfd0.tar.gz wormhole-83e0373340d6e1348f97e9ca1c128d2eed4fbfd0.tar.bz2 wormhole-83e0373340d6e1348f97e9ca1c128d2eed4fbfd0.zip | |
Restore dockerfile
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -4,8 +4,14 @@ 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 + +# Build project ADD . . -RUN opam exec -- dune build -j 1 +RUN opam exec -- dune build -j 1 + FROM alpine:3.18.4 as run |