From 48bbe9fef03e859df7d9e3352b6a890c8d9366d7 Mon Sep 17 00:00:00 2001
From: Piotr Orzechowski <piotr@orzechowski.tech>
Date: Thu, 1 Dec 2022 01:35:46 +0100
Subject: [PATCH] Add GNAT and GPRBuild requirement to testsuite readme

---
 testsuite/README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/testsuite/README.md b/testsuite/README.md
index 95c6cd05e..0a3b1ab35 100644
--- a/testsuite/README.md
+++ b/testsuite/README.md
@@ -6,6 +6,15 @@ library/tool. The testsuite framework currently requires a Python 3 interpreter
 with the [e3-testsuite](https://e3-testsuite.readthedocs.io) package (from PyPI)
 installed.
 
+You also must have [GNAT](https://www.gnu.org/software/gnat) and
+[GPRBuild](https://github.com/AdaCore/gprbuild) in your `PATH`. You can install
+these with, for example:
+```sh
+alr toolchain --install --install-dir=<dir> gnat_native=<version> gprbuild=<version>
+```
+and add `<dir>/gnat_native_<version>_(...)/bin` and
+`<dir>/gprbuild_<version>_(...)/bin` to your `PATH`.
+
 Assuming your environment already has a Python 3 interpreter and has
 `virtualenv` installed, here is a quick cookbook to run the testsuite: