16 lines
703 B
Docker
16 lines
703 B
Docker
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"]
|