diff --git a/Dockerfile b/Dockerfile index 300ff72..8774680 100644 --- a/Dockerfile +++ b/Dockerfile @@ -24,7 +24,7 @@ ENV OPAMCONFIRMLEVEL=unsafe-yes # latest versions. # taken from https://github.com/ocaml/opam-repository RUN opam init --disable-sandboxing -a --bare https://github.com/ocaml/opam-repository.git#f9f113a6bb242a13702859873fa0fcef9146eb6a -RUN opam switch create myswitch 4.14.1 +RUN opam switch create myswitch 4.14.2 RUN opam exec -- opam install -y mirage opam-monorepo ocaml-solo5 RUN mkdir /tmp/orb-build ADD config.ml /tmp/orb-build/config.ml diff --git a/Makefile.builder b/Makefile.builder index 5d79a54..53b860d 100644 --- a/Makefile.builder +++ b/Makefile.builder @@ -1,5 +1,5 @@ MIRAGE_KERNEL_NAME = dist/qubes-firewall.xen -OCAML_VERSION ?= 4.14.0 +OCAML_VERSION ?= 4.14.2 SOURCE_BUILD_DEP := firewall-build-dep firewall-build-dep: