Skip to content

Commit f702269

Browse files
committed
Docker: Also build unipi
1 parent 6669dd1 commit f702269

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

docker/Dockerfile.muen-mirageos

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,12 @@ RUN git clone https://github.com/mirage/mirage-skeleton \
2828
&& make \
2929
&& mv dist/https.muen $HOME/
3030

31+
# clone unipi and perpare dependencies.
3132
RUN git clone -b with-kv-mirage4 https://github.com/roburio/unipi.git \
32-
&& git -C unipi reset --hard 90dd597b41aee0162cdc75d87a1ce3ca415bef55
33+
&& cd unipi \
34+
&& git reset --hard 90dd597b41aee0162cdc75d87a1ce3ca415bef55 \
35+
&& eval $(opam env) \
36+
&& mirage configure -t muen --ipv4=192.168.254.10/24 --ipv4-gateway=192.168.254.1 \
37+
&& make
3338

3439
CMD [ "bash" ]

0 commit comments

Comments
 (0)