diff --git a/Dockerfile b/Dockerfile index 2655efc..fcd5c43 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,5 +16,4 @@ RUN opam install -y mirage opam-monorepo RUN mkdir /home/opam/qubes-mirage-firewall ADD config.ml /home/opam/qubes-mirage-firewall/config.ml WORKDIR /home/opam/qubes-mirage-firewall -RUN opam exec -- mirage configure -t xen && make depend -CMD opam exec -- mirage configure -t xen && make tar +CMD opam exec -- mirage configure -t xen && make depend && make tar diff --git a/build-with-docker.sh b/build-with-docker.sh index 3be3e7b..821821d 100755 --- a/build-with-docker.sh +++ b/build-with-docker.sh @@ -5,5 +5,5 @@ docker build -t qubes-mirage-firewall . echo Building Firewall... docker run --rm -i -v `pwd`:/home/opam/qubes-mirage-firewall qubes-mirage-firewall echo "SHA2 of build: $(sha256sum ./dist/qubes-firewall.xen)" -echo "SHA2 last known: c0a94169eb0642db26168688e735f616c675f9b9c02349cac485ec8925e28d10" +echo "SHA2 last known: 588e921b9d78a99f6f49d468a7b68284c50dabeba95698648ea52e99b381723b" echo "(hashes should match for released versions)"