From 93012658eed08b2e07e1f2dd2cf86a63832fe995 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Fri, 11 Oct 2024 11:27:42 +0200
Subject: [PATCH] Reinstate macOS builder

---
 .github/workflows/{disabled => }/ci-macos.yml | 8 ++++++++
 1 file changed, 8 insertions(+)
 rename .github/workflows/{disabled => }/ci-macos.yml (90%)

diff --git a/.github/workflows/disabled/ci-macos.yml b/.github/workflows/ci-macos.yml
similarity index 90%
rename from .github/workflows/disabled/ci-macos.yml
rename to .github/workflows/ci-macos.yml
index e87ea3571..ad5d0c1d5 100644
--- a/.github/workflows/disabled/ci-macos.yml
+++ b/.github/workflows/ci-macos.yml
@@ -37,6 +37,7 @@ jobs:
       uses: alire-project/alr-install@v1
       with:
         crates: gnat_native gprbuild
+        prefix: alire_prefix
 
     - name: Install FSF toolchain (AArch64)
       if: ${{ matrix.os == 'macos-14' }}
@@ -61,6 +62,13 @@ jobs:
         BRANCH: ${{ github.base_ref }}
         INDEX: ""
 
+    # Ascertain whether alr can run without the toolchain that built it
+    - name: Remove toolchain used for building & testing
+      shell: bash
+      run: |
+        rm -rf alire_prefix
+        which gnat || { echo "Toolchain purged"; ./bin/alr version; }
+
     - name: Upload binaries
       uses: actions/upload-artifact@v4
       with: