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

Use fewer steps

Browse source
This commit is contained in:
Reynir Björnsson 2022-08-04 19:21:32 +02:00
parent 2dd0492b75
commit 6967dc5b65
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Dockerfile
View file

@ -1,8 +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 opam update RUN opam update && opam depext mirage-unikernel-unipi-spt && opam install mirage-unikernel-unipi-spt
RUN opam depext mirage-unikernel-unipi-spt
RUN 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