reynir
/
docker-unipi
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Dockerfile: use fewer steps, trace entrypoint.sh
continuous-integration/drone/push Build is passing Details

This commit is contained in:
Reynir Björnsson 2022-07-23 12:13:56 +02:00
parent ed1904483a
commit 7e4abc7baa
2 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Dockerfile
View File

@ -3,14 +3,11 @@ COPY mirage-unikernel-unipi-spt.opam /home/opam/opam-repository/packages/mirage-
RUN opam update
RUN opam depext mirage-unikernel-unipi-spt
RUN opam install mirage-unikernel-unipi-spt
RUN cp $(opam config var bin)/unipi.spt .
RUN cp $(opam config var bin)/solo5-elftool .
RUN cp $(opam config var bin)/solo5-spt .
RUN bindir="$(opam config var bin)"; cp $bindir/unipi.spt $bindir/solo5-elftool $bindir/solo5-spt .
FROM ubuntu:20.04
COPY --from=opam /home/opam/unipi.spt /unipi.spt
COPY --from=opam /home/opam/solo5-elftool /usr/local/bin/solo5-elftool
COPY --from=opam /home/opam/solo5-spt /usr/local/bin/solo5-spt
COPY --from=opam /home/opam/solo5-elftool /home/opam/solo5-spt /usr/local/bin/
COPY entrypoint.sh /entrypoint.sh
RUN apt update && apt install -y iproute2
EXPOSE 80

2
entrypoint.sh
View File

@ -1,4 +1,4 @@
#!/bin/sh -e
#!/bin/sh -ex
if [ "$#" -lt 1 ]; then
echo Must provide the unikernel as argument >&2