From 875b877047a5b571bf1ebfd9ce065a4c97c3ed8e Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 29 Jun 2017 18:16:21 +0200 Subject: [PATCH] sdk: add Dockerfile root pivot runs + static linking Signed-off-by: Thomas Gazagnaire --- projects/miragesdk/src/fdd/Dockerfile | 10 +++++++--- projects/miragesdk/src/fdd/jbuild | 1 + 2 files changed, 8 insertions(+), 3 deletions(-) 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