Bumping everything to OCaml 4.14.0

FStarLang · Sep 5, 2024 · 5643e65 · 5643e65
1 parent 1e73a3a
commit 5643e65
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 7 deletions.
diff --git a/.devcontainer/minimal.Dockerfile b/.devcontainer/minimal.Dockerfile
@@ -42,7 +42,7 @@ RUN wget -nv https://download.visualstudio.microsoft.com/download/pr/cd0d0a4d-2a
     rm -f dotnet-sdk*.tar.gz
 
 # Install OCaml
-ARG OCAML_VERSION=4.12.0
+ARG OCAML_VERSION=4.14.0
 RUN opam init --compiler=$OCAML_VERSION --disable-sandboxing
 RUN opam option depext-run-installs=true
 ENV OPAMYES=1

diff --git a/.docker/opam.Dockerfile b/.docker/opam.Dockerfile
@@ -1,6 +1,6 @@
 # This Dockerfile should be run from the root FStar directory
 
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 FROM ocaml/opam:ubuntu-ocaml-$ocaml_version
 
 # FIXME: the `opam depext` command should be unnecessary with opam 2.1

diff --git a/.docker/package.Dockerfile b/.docker/package.Dockerfile
@@ -1,7 +1,7 @@
 # This Dockerfile should be run from the root FStar directory
 
 # Build the package
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 ARG CI_THREADS=24
 
 FROM ocaml/opam:ubuntu-20.04-ocaml-$ocaml_version AS fstarbuild

diff --git a/.docker/release.Dockerfile b/.docker/release.Dockerfile
@@ -1,7 +1,7 @@
 # This Dockerfile should be run from the root FStar directory
 
 # Build the package
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 ARG CI_THREADS=24
 
 FROM ocaml/opam:ubuntu-20.04-ocaml-$ocaml_version AS fstarbuild

diff --git a/.github/setup-macos.sh b/.github/setup-macos.sh
@@ -4,7 +4,7 @@
 # coreutils: for the `install` command used in install-ulib.sh
 export OPAMYES=1
 brew install opam bash gnu-getopt coreutils gnu-sed
-opam init --compiler=4.12.0
+opam init --compiler=4.14.0
 eval $(opam env)
 
 # Install Z3 and the opam package dependencies

diff --git a/INSTALL.md b/INSTALL.md
@@ -80,7 +80,7 @@ need to perform the following step before your first use:
         $ fstar.exe --version
         F* 0.9.8.0~dev
         platform=Linux_x86_64
-        compiler=OCaml 4.12.0
+        compiler=OCaml 4.14.0
         date=yyyy-mm-ddThh:nn:ss+02:00
         commit=xxxxxxxx
         $ z3 --version
@@ -209,7 +209,7 @@ The steps require a working OCaml setup. OCaml version 4.14.X should work.
   ```sh
   $ opam update
   $ opam switch list-available
-  $ opam switch create ocaml-variants.4.12.0+mingw64c
+  $ opam switch create ocaml-variants.4.14.0+mingw64c
   ```
 
 3. Afterwards you can install the `depext` and `depext-cygwinports` packages,