From 513ea00c0d355c1534b8ed6f28a78ca15c91d612 Mon Sep 17 00:00:00 2001
From: eine <6628437+eine@users.noreply.github.com>
Date: Wed, 8 Jan 2020 06:01:21 +0000
Subject: ci: fix gnat-gpl download URL (#1071)

---
 dist/macosx/install-ada.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dist/macosx')

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
-- 
cgit v1.2.3