Add documentation for GraalVM installation in setup

benedikt-schesch · Nov 14, 2024 · bdf26ec · bdf26ec
1 parent 345de19
commit bdf26ec
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -56,7 +56,8 @@ brew install gh
 
 You must install Java 8, 11 and 17. You must set the `JAVA8_HOME`, `JAVA11_HOME` and `JAVA17_HOME` environment variables to the respective Java installations.
 
----
+By default, you should install [GraalVM](https://www.graalvm.org/downloads/) (version 21 or later) and set a `GRAALVM_HOME` environment variable to the home of the GraalVM JDK installation.
+(Todo: the pipeline should be made to work with regular JDK.  The correctness outputs will be reliable, but no timing information should be output.)
 
 ## Run the code