Set the GHA builder to use gcc-12

TN: V802-012
AdaCore · Aug 2, 2022 · e2e6f49 · e2e6f49
1 parent ce501bb
commit e2e6f49
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -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} \