docker-unipi/Dockerfile

16 lines
703 B
Docker
Raw Normal View History

2022-07-23 08:31:07 +00:00
FROM ocaml/opam:ubuntu-20.04-ocaml-4.14 AS opam
COPY mirage-unikernel-unipi-spt.opam /home/opam/opam-repository/packages/mirage-unikernel-unipi-spt/mirage-unikernel-unipi-spt.0.0.1~dev/opam
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 .
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 entrypoint.sh /entrypoint.sh
ENTRYPOINT ["/entrypoint.sh", "/unipi.spt"]