Increase OCaml version in nightly dockerfile

rems-project · Oct 29, 2024 · fdc9bb2 · fdc9bb2
1 parent 9c1c5c4
commit fdc9bb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile.nightly b/Dockerfile.nightly
@@ -4,7 +4,7 @@ FROM ubuntu
 RUN apt-get update && apt-get install -y --no-install-recommends ca-certificates build-essential libgmp-dev z3 libz3-dev opam rsync pkg-config m4 zlib1g-dev
 
 # Configure opam
-RUN opam init -y --no-setup --compiler=4.10.0 --shell=sh --disable-sandboxing
+RUN opam init -y --no-setup --compiler=5.2.0 --shell=sh --disable-sandboxing
 
 # Copy code
 WORKDIR /sail-src