From 130a8e9ccf51a55f1cd84cd9750850800f0a8821 Mon Sep 17 00:00:00 2001
From: Arthur Bied-Charreton <136271426+winstonallo@users.noreply.github.com>
Date: Wed, 8 Oct 2025 10:49:01 +0200
Subject: [PATCH 1/4] Add `dejagnu` to the quickstart installation command line

---
 Readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Readme.md b/Readme.md
index 859bb1568f4..3c6e595d212 100644
--- a/Readme.md
+++ b/Readme.md
@@ -57,7 +57,7 @@ To build it (most of these instructions come from [here](https://gcc.gnu.org/onl
 
 ```bash
 $ git clone https://github.com/rust-lang/gcc
-$ sudo apt install flex libmpfr-dev libgmp-dev libmpc3 libmpc-dev
+$ sudo apt install flex libmpfr-dev libgmp-dev libmpc3 libmpc-dev dejagnu
 $ mkdir gcc-build gcc-install
 $ cd gcc-build
 $ ../gcc/configure \

From a90977912c9881b571e08e24914a1dbb560abbf7 Mon Sep 17 00:00:00 2001
From: Arthur Bied-Charreton <136271426+winstonallo@users.noreply.github.com>
Date: Wed, 8 Oct 2025 14:39:01 +0200
Subject: [PATCH 2/4] Move dejagnu install step to libgccjit tests
 documentation

---
 Readme.md | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/Readme.md b/Readme.md
index 3c6e595d212..32aa2935aaa 100644
--- a/Readme.md
+++ b/Readme.md
@@ -57,7 +57,7 @@ To build it (most of these instructions come from [here](https://gcc.gnu.org/onl
 
 ```bash
 $ git clone https://github.com/rust-lang/gcc
-$ sudo apt install flex libmpfr-dev libgmp-dev libmpc3 libmpc-dev dejagnu
+$ sudo apt install flex libmpfr-dev libgmp-dev libmpc3 libmpc-dev
 $ mkdir gcc-build gcc-install
 $ cd gcc-build
 $ ../gcc/configure \
@@ -70,15 +70,22 @@ $ ../gcc/configure \
 $ make -j4 # You can replace `4` with another number depending on how many cores you have.
 ```
 
-If you want to run libgccjit tests, you will need to also enable the C++ language in the `configure`:
+If you want to run libgccjit tests, you will need to
+* Enable the C++ language in the `configure` step:
 
 ```bash
 --enable-languages=jit,c++
 ```
+* Install [dejagnu](https://www.gnu.org/software/dejagnu/#downloading) to run the tests
+
+```bash
+$ sudo apt install dejagnu
+```
 
 Then to run libgccjit tests:
 
 ```bash
+$ sudo apt install dejagnu
 $ cd gcc # from the `gcc-build` folder
 $ make check-jit
 # To run one specific test:

From 87c59b812194140dfc16c554c6805c3a280038d5 Mon Sep 17 00:00:00 2001
From: Arthur Bied-Charreton <136271426+winstonallo@users.noreply.github.com>
Date: Wed, 8 Oct 2025 14:39:52 +0200
Subject: [PATCH 3/4] Remove dejagnu install from libgccjit tests run
 instructions

---
 Readme.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Readme.md b/Readme.md
index 32aa2935aaa..5ebdef15a5c 100644
--- a/Readme.md
+++ b/Readme.md
@@ -85,7 +85,6 @@ $ sudo apt install dejagnu
 Then to run libgccjit tests:
 
 ```bash
-$ sudo apt install dejagnu
 $ cd gcc # from the `gcc-build` folder
 $ make check-jit
 # To run one specific test:

From d7e37d98cc595fcddea93194332de512967d000c Mon Sep 17 00:00:00 2001
From: Arthur Bied-Charreton <136271426+winstonallo@users.noreply.github.com>
Date: Wed, 8 Oct 2025 14:40:47 +0200
Subject: [PATCH 4/4] Add colon to Install dejagnu step for consistency

---
 Readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Readme.md b/Readme.md
index 5ebdef15a5c..9cdd59f94f8 100644
--- a/Readme.md
+++ b/Readme.md
@@ -76,7 +76,7 @@ If you want to run libgccjit tests, you will need to
 ```bash
 --enable-languages=jit,c++
 ```
-* Install [dejagnu](https://www.gnu.org/software/dejagnu/#downloading) to run the tests
+* Install [dejagnu](https://www.gnu.org/software/dejagnu/#downloading) to run the tests:
 
 ```bash
 $ sudo apt install dejagnu