diff --git a/projects/miragesdk/src/fdd/Dockerfile b/projects/miragesdk/src/fdd/Dockerfile index a293f3fde..01ef77d00 100644 --- a/projects/miragesdk/src/fdd/Dockerfile +++ b/projects/miragesdk/src/fdd/Dockerfile @@ -1,8 +1,12 @@ -FROM ocaml/opam:alpine +FROM ocaml/opam:alpine as base RUN sudo apk add m4 RUN opam install jbuilder lwt fd-send-recv logs fmt cmdliner ADD . /src RUN opam pin add fdd /src -RUN sudo cp /home/opam/.opam/4.04.2/bin/fdd /usr/bin +RUN sudo mkdir /out +RUN sudo cp /home/opam/.opam/4.04.2/bin/fdd /out + +FROM scratch +COPY --from=base /out/fdd . USER 0 -ENTRYPOINT ["fdd"] +ENTRYPOINT ["/fdd"] diff --git a/projects/miragesdk/src/fdd/jbuild b/projects/miragesdk/src/fdd/jbuild index cf74a1969..63a08dee6 100644 --- a/projects/miragesdk/src/fdd/jbuild +++ b/projects/miragesdk/src/fdd/jbuild @@ -2,5 +2,6 @@ ((name fdd) (public_name fdd) (package fdd) + (flags (:standard -cclib -static)) (libraries (unix lwt.unix lwt.preemptive fd-send-recv logs fmt cmdliner fmt.cli logs.fmt fmt.tty logs.cli)))) \ No newline at end of file