diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-01-08 06:01:21 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-08 07:01:21 +0100 |
| commit | 513ea00c0d355c1534b8ed6f28a78ca15c91d612 (patch) | |
| tree | 232a305d3f404a9b764f895ef4251fca2e92446a /dist/macosx | |
| parent | a3a87c42060bbecda0b3c999c5f7f3acfb6008f0 (diff) | |
| download | ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.tar.gz ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.tar.bz2 ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.zip | |
ci: fix gnat-gpl download URL (#1071)
Diffstat (limited to 'dist/macosx')
| -rwxr-xr-x | dist/macosx/install-ada.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh index 20d9fb332..bba0a0aab 100755 --- a/dist/macosx/install-ada.sh +++ b/dist/macosx/install-ada.sh @@ -12,9 +12,9 @@ set -x # Download from libre.adacore.com tarfile=gnat-gpl-2017-x86_64-darwin-bin.tar.gz -curl -o $tarfile http://mirrors.cdn.adacore.com/art/591c9045c7a447af2deed24e +wget -O $tarfile https://community.download.adacore.com/v1/7bbc77bd9c3c03fdb93699bce67b458f95d049a9?filename=gnat-gpl-2017-x86_64-darwin-bin.tar.gz -# un tar +# untar tar xf $tarfile # Remove old gnat directory and install manually |