From cb7078633e98113d2e09e7e063ca091860e9cc00 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Wed, 3 Apr 2019 12:32:13 +0100 Subject: [PATCH] Update dependencies Remove pin on mirage 3.4 - it should now be working with the latest release. --- Dockerfile | 2 +- Makefile.builder | 6 ------ build-with-docker.sh | 2 +- config.ml | 6 +++--- 4 files changed, 5 insertions(+), 11 deletions(-) diff --git a/Dockerfile b/Dockerfile index e8c8c74..72e2516 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,7 +7,7 @@ FROM ocaml/opam2@sha256:f7125924dd6632099ff98b2505536fe5f5c36bf0beb24779431bb62b # Pin last known-good version for reproducible builds. # Remove this line (and the base image pin above) if you want to test with the # latest versions. -RUN git fetch origin && git reset --hard 55e835f197d5a6961ff9b22eb5bbcb5a17f13e65 && opam update +RUN git fetch origin && git reset --hard c261c4ee9c1ef032af93483913b60f674d4acdb2 && opam update RUN sudo apt-get install -y m4 libxen-dev pkg-config RUN opam install -y vchan xen-gnt mirage-xen-ocaml mirage-xen-minios io-page mirage-xen mirage mirage-nat mirage-qubes diff --git a/Makefile.builder b/Makefile.builder index b41efd6..098463d 100644 --- a/Makefile.builder +++ b/Makefile.builder @@ -1,8 +1,2 @@ MIRAGE_KERNEL_NAME = qubes_firewall.xen -SOURCE_BUILD_DEP := mfw-build-dep OCAML_VERSION ?= 4.07.1 - -mfw-build-dep: - opam pin -y add mirage 3.4.0 -# opam pin -y add ssh-agent https://github.com/reynir/ocaml-ssh-agent.git - diff --git a/build-with-docker.sh b/build-with-docker.sh index 2f895e6..2570b28 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 qubes_firewall.xen)" -echo "SHA2 last known: addeb78681d73ee44df328ca059f6f15b8b7bbdff38a3de5363229cdf3da2eda" +echo "SHA2 last known: 1f72adad30cbd4f8315983240bd150811084cb93d360c14740fadb36394c7aa8" echo "(hashes should match for released versions)" diff --git a/config.ml b/config.ml index d0f702a..f7d5169 100644 --- a/config.ml +++ b/config.ml @@ -18,7 +18,7 @@ let main = foreign ~keys:[Functoria_key.abstract table_size] ~packages:[ - package "vchan"; + package "vchan" ~min:"4.0.2"; package "cstruct"; package "astring"; package "tcpip" ~min:"3.7.0"; @@ -27,8 +27,8 @@ let main = package "ethernet"; package "mirage-protocols"; package "shared-memory-ring" ~min:"3.0.0"; - package "netchannel" ~min:"1.8.0"; - package "mirage-net-xen" ~min:"1.7.1"; + package "netchannel" ~min:"1.10.2"; + package "mirage-net-xen"; package "ipaddr" ~min:"3.0.0"; package "mirage-qubes"; package "mirage-nat" ~min:"1.1.0";