From bd8406a8d2d8c1454f1d8574ef1b95e311bcba83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Sat, 23 Jul 2022 11:24:12 +0200
Subject: [PATCH] Expose port 80

Very important!
---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 5e221f6..3ed20b1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,4 +12,5 @@ COPY --from=opam /home/opam/unipi.spt /unipi.spt
 COPY --from=opam /home/opam/solo5-elftool /usr/local/bin/solo5-elftool
 COPY --from=opam /home/opam/solo5-spt /usr/local/bin/solo5-spt
 COPY entrypoint.sh /entrypoint.sh
+EXPOSE 80
 ENTRYPOINT ["/entrypoint.sh", "/unipi.spt"]