From 9d6011243cd50cacf7c707a468d2ec0c5b7a1b40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 11 Nov 2022 15:50:30 +0100
Subject: [PATCH] Use effective-path branch of unipi

This is only temporary in order to test the proposed change.
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 08322f4..75c09c1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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 && mirage configure -t spt && make ) && \
+    ( cd unipi && git checkout effective-path && mirage configure -t spt && make ) && \
     { bindir="$(opam var bin)"; cp $bindir/solo5-elftool $bindir/solo5-spt ~/; }
 
 FROM ubuntu:20.04