diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-01-08 19:38:07 +0000 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-08 20:38:07 +0100 |
commit | 91e5fab3e69fdcdbc04c3280c3ab9f3c8c8d5c51 (patch) | |
tree | 83e894c1e49fee3fa6df69a9031942156ae02522 /.github/workflows/push.yml | |
parent | e754d848f8c8864b4ad5eee38ded84be8f3609bf (diff) | |
download | ghdl-91e5fab3e69fdcdbc04c3280c3ab9f3c8c8d5c51.tar.gz ghdl-91e5fab3e69fdcdbc04c3280c3ab9f3c8c8d5c51.tar.bz2 ghdl-91e5fab3e69fdcdbc04c3280c3ab9f3c8c8d5c51.zip |
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
Diffstat (limited to '.github/workflows/push.yml')
-rw-r--r-- | .github/workflows/push.yml | 8 |
1 files changed, 7 insertions, 1 deletions
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 }} |