fixup! Bump Scala and Java version in docs

apalache-mc · Apr 26, 2022 · e8d521b · e8d521b
1 parent f6dc2c2
commit e8d521b
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/docs/src/apalache/installation/jvm.md b/docs/src/apalache/installation/jvm.md
@@ -1,8 +1,8 @@
 # Running in Java Virtual Machine
 
 You have to download and install a Java Virtual Machine first. For instance,
-[AdoptOpenJDK](https://adoptopenjdk.net/) should work (we tried Apalache with
-OpenJDK 11 and OpenJDK 15).
+[Eclipse Temurin][] should work (we recommend OpenJDK 17, the latest LTS
+release).
 
 Once you have installed Java, download the [latest
 release](https://github.com/informalsystems/apalache/releases) and unpack into
@@ -22,3 +22,5 @@ better, add the `./bin` directory to your `PATH` and run `apalache-mc`.
 If you would like to contribute a command-line script for running Apalache in
 Windows, please [open a pull
 request](https://github.com/informalsystems/apalache/blob/unstable/CONTRIBUTING.md#making-a-pull-request).
+
+[Eclipse Temurin]: https://adoptium.net/
diff --git a/docs/src/apalache/installation/source.md b/docs/src/apalache/installation/source.md
@@ -1,9 +1,9 @@
 # Building from source
 
 1. Install `git`.
-2. Install the [Eclipse Temurin][] or [Zulu][] build of OpenJDK17.
+2. Install the [Eclipse Temurin][] or [Zulu][] build of OpenJDK 17.
    - Apalache currently requires Scala 2.12.15, see [this table of compatible JDK versions][compatibility table].
-   - We recommend OpenJDK17, the latest LTS release.
+   - We recommend OpenJDK 17, the latest LTS release.
 3. Install [sbt][].
    - On Debian Linux or Ubuntu, [follow this guide](https://www.scala-sbt.org/1.x/docs/Installing-sbt-on-Linux.html#Ubuntu+and+other+Debian-based+distributions)
    - On Arch: `sudo pacman -Syu sbt`

diff --git a/docs/src/apalache/system-reqs.md b/docs/src/apalache/system-reqs.md
@@ -4,7 +4,7 @@ Every commit to [master](https://github.com/informalsystems/apalache) and
 [unstable](https://github.com/informalsystems/apalache/tree/unstable) is built
 with [GitHub
 actions](https://github.com/informalsystems/apalache/actions?query=branch%3Aunstable+workflow%3Abuild)
-on MacOS (JDK 1.8.0) and Linux (OpenJDK8). If you would like to run Apalache in
+on MacOS (JDK 17) and Linux (OpenJDK 17). If you would like to run Apalache in
 Windows, use a docker image. Check the [Docker
 manual](https://docs.docker.com/docker-for-windows/) and the section on [Using
 a docker image](./installation/docker.md) for details.