Revert "Use effective-path branch of unipi"

This reverts commit 9d6011243c. The fix has been merged.
2022-11-12 11:11:17 +01:00 · 2022-11-12 11:11:17 +01:00 · 0bcdfe513a
parent 9d6011243c
commit 0bcdfe513a
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -4,7 +4,7 @@ RUN sudo apt update && ( cd opam-repository && git pull origin master ) && opam
    opam install 'mirage>4' && \
    eval $(opam env) && \
    git clone https://github.com/roburio/unipi.git && \
-    ( cd unipi && git checkout effective-path && mirage configure -t spt && make ) && \
+    ( cd unipi && mirage configure -t spt && make ) && \
    { bindir="$(opam var bin)"; cp $bindir/solo5-elftool $bindir/solo5-spt ~/; }

 FROM ubuntu:20.04