Switch to 4.14.1

jbdoderlein · Aug 14, 2023 · 7e3f428 · 7e3f428
1 parent 5c9efee
commit 7e3f428
Show file tree

Hide file tree

Showing 4 changed files with 65,123 additions and 59,364 deletions.
diff --git a/src/index.html b/src/index.html
@@ -49,8 +49,7 @@
         let params = new URLSearchParams(window.location.search);
         let version = params.get("version");
 
-        let versions = ["4.14.0", "4.13.1", "4.13.0", "4.12.1", "4.12.0", "4.11.2", "4.11.1", "4.11.0", "4.10.2", "4.10.1", "4.10.0", "4.09.1", "4.09.0", "4.08.1", "4.08.0", "4.07.1", "4.07.0", "4.06.1", "4.06.0"];
-//      let versions = ["4.13.1", "4.13.0", "4.12.1", "4.12.0", "4.11.2", "4.11.1", "4.11.0", "4.10.2", "4.10.1", "4.10.0", "4.09.1", "4.09.0", "4.08.1", "4.08.0", "4.07.1", "4.07.0", "4.06.1", "4.06.0"];
+        let versions = ["4.14.1", "4.14.0", "4.13.1", "4.13.0", "4.12.1", "4.12.0", "4.11.2", "4.11.1", "4.11.0", "4.10.2", "4.10.1", "4.10.0", "4.09.1", "4.09.0", "4.08.1", "4.08.0", "4.07.1", "4.07.0", "4.06.1", "4.06.0"];
 
         if (!versions.includes(version)) {
             version = versions[0];

diff --git a/src/toplevels/toplevel-4.13.1.js b/src/toplevels/toplevel-4.13.1.js
diff --git a/src/toplevels/toplevel-4.14.1.js b/src/toplevels/toplevel-4.14.1.js
diff --git a/toplevel_build/compile.sh b/toplevel_build/compile.sh
@@ -113,7 +113,7 @@ Usage () {
 
 # These are all the known to work versions
 # You can edit this to try older versions but we cannot guarantee it will work
-SUPPORTED_OCAML_VERSIONS=(4.14.0 4.13.1 4.13.0 4.12.1 4.12.0 4.11.2 4.11.1 4.11.0 4.10.2 4.10.1 4.10.0 4.09.1 4.09.0 4.08.1 4.08.0 4.07.1 4.07.0 4.06.1 4.06.0)
+SUPPORTED_OCAML_VERSIONS=(4.14.1 4.14.0 4.13.1 4.13.0 4.12.1 4.12.0 4.11.2 4.11.1 4.11.0 4.10.2 4.10.1 4.10.0 4.09.1 4.09.0 4.08.1 4.08.0 4.07.1 4.07.0 4.06.1 4.06.0)
 
 KEEP=false
 FORCE=false