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} \