This commit is contained in:
parent
575c13450d
commit
005ed35a63
|
@ -1,6 +1,6 @@
|
||||||
FROM ocaml/opam:ubuntu-20.04-ocaml-4.14 AS opam
|
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
|
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 apt update && opam update && opam depext mirage-unikernel-unipi-spt && opam install mirage-unikernel-unipi-spt
|
RUN sudo apt update && opam update && opam depext mirage-unikernel-unipi-spt && opam install mirage-unikernel-unipi-spt
|
||||||
RUN bindir="$(opam config var bin)"; cp $bindir/unipi.spt $bindir/solo5-elftool $bindir/solo5-spt .
|
RUN bindir="$(opam config var bin)"; cp $bindir/unipi.spt $bindir/solo5-elftool $bindir/solo5-spt .
|
||||||
|
|
||||||
FROM ubuntu:20.04
|
FROM ubuntu:20.04
|
||||||
|
|
Loading…
Reference in a new issue