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

Run apt update as well as opam update
Some checks failed
continuous-integration/drone/push Build is failing
Details

Browse source
This commit is contained in:
reynir 2022-08-08 14:10:12 +00:00
parent b05e04de8a
commit 575c13450d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Dockerfile
View file

@ -1,6 +1,6 @@
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 && opam depext mirage-unikernel-unipi-spt && opam install mirage-unikernel-unipi-spt
RUN 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 .
FROM ubuntu:20.04