From 91e5fab3e69fdcdbc04c3280c3ab9f3c8c8d5c51 Mon Sep 17 00:00:00 2001
From: eine <6628437+eine@users.noreply.github.com>
Date: Wed, 8 Jan 2020 19:38:07 +0000
Subject: ci: update installation of GNAT GPL on macOS (#1072)

* ci: move 'install-ada' to YAML files

* ci: update Xcode to 10

* ci: update GNAT to 2019
---
 .github/workflows/push.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to '.github')

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 3543c33ca..37eea6b76 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -30,7 +30,13 @@ jobs:
     runs-on: macOS-latest
     steps:
     - uses: actions/checkout@v1
-    - run: ./dist/ci-run.sh -c
+    - run: |
+        brew update
+        brew install p7zip
+        ./dist/macosx/install-ada.sh
+    - run: |
+        PATH=$PWD/gnat/bin:$PATH
+        ./dist/ci-run.sh -c
       env:
         TASK: macosx+mcode
         GITHUB_OS: ${{ runner.os }}
-- 
cgit v1.2.3