github/linuxkit
1
0
Fork 0
mirror of https://github.com/linuxkit/linuxkit.git synced 2025-07-20 17:49:10 +00:00
Code Issues Projects Releases Wiki Activity

sdk: add Dockerfile root pivot runs + static linking

Browse Source 
Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
This commit is contained in:
Thomas Gazagnaire 2017-06-29 18:16:21 +02:00
parent 56229e486b
commit 875b877047
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
projects/miragesdk/src/fdd/Dockerfile
View File

@ -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"]

1
projects/miragesdk/src/fdd/jbuild
View File

@ -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))))