From bdf26ec8768deb85177672682fc8cd6f653b6602 Mon Sep 17 00:00:00 2001
From: Rishi Vijayvargiya <54428932+rishivijayv@users.noreply.github.com>
Date: Thu, 14 Nov 2024 16:20:41 +0100
Subject: [PATCH] Add documentation for GraalVM installation in setup

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 96f8593369..bcac9e8a02 100644
--- 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