From e2e6f4983c18955e46709145cdcb19ce8b33fb7b Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Tue, 2 Aug 2022 11:56:08 +0000
Subject: [PATCH] Set the GHA builder to use gcc-12

TN: V802-012
---
 .github/workflows/build-binaries.yml | 4 ++--
 utils/gh-build-binaries.sh           | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
index 702d0646c..6ad5c7a2a 100644
--- a/.github/workflows/build-binaries.yml
+++ b/.github/workflows/build-binaries.yml
@@ -60,11 +60,11 @@ jobs:
       - uses: actions/cache@v2
         with:
           path: ./cached_gnat
-          key: ${{ runner.os }}-alire-2021
+          key: ${{ runner.os }}-alire-2022
       - name: Get GNAT toolchain with alire
         uses: alire-project/setup-alire@v1
         with:
-          toolchain: gnat_native^11 gprbuild^21
+          toolchain: gnat_native^12 gprbuild^22
           toolchain_dir: ./cached_gnat
       - name: Setup Python 3.8
         uses: actions/setup-python@v2
diff --git a/utils/gh-build-binaries.sh b/utils/gh-build-binaries.sh
index 05a17430d..186d88b65 100755
--- a/utils/gh-build-binaries.sh
+++ b/utils/gh-build-binaries.sh
@@ -27,7 +27,8 @@ build_archive()
   rm -rf $prefix
   cd xmlada*
   ./configure --prefix=$prefix ${DEBUG:+--enable-build=Debug}
-  make $LIBRARY_TYPE install-$LIBRARY_TYPE
+  make $LIBRARY_TYPE install-$LIBRARY_TYPE \
+	  GPRBUILD_OPTIONS="-cargs -gnatwn -gargs"
   cd ..
 
   make -C gprbuild prefix=$prefix BUILD=${DEBUG:-production} \