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

Do git pull from opam-repository
Some checks failed
continuous-integration/drone/push Build is failing
Details

Browse source
This commit is contained in:
Reynir Björnsson 2022-09-09 18:39:02 +02:00
parent 0fab0b2331
commit 2865ee3c14
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
RUN sudo cp /usr/bin/opam-2.1 /usr/local/bin/opam
RUN sudo apt update && opam update && \
RUN sudo apt update && ( cd opam-repository && git pull ) && opam update && \
opam install 'mirage>4' && \
eval $(opam env) && \
git clone https://github.com/roburio/unipi.git && \