From 61df1ef50e0523d3838dcdc1e4784387666c7c69 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 17 Aug 2017 08:09:45 +0200 Subject: travis-ci: fix fold (again?) and macos-x --- dist/macosx/install-ada.sh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'dist/macosx') diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh index eb1d2607f..bd30e2e1b 100755 --- a/dist/macosx/install-ada.sh +++ b/dist/macosx/install-ada.sh @@ -7,15 +7,17 @@ if [ -e gnat/etc/install_ok ]; then exit 0 fi +echo "Download and install gnat-gpl" + # 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 +curl -o $tarfile http://mirrors.cdn.adacore.com/art/591c9045c7a447af2deed24e # un tar -#tar xf $tarfile +tar xf $tarfile # Direct install -#mv gnat-gpl-2017-x86_64-darwin-bin gnat +mv gnat-gpl-2017-x86_64-darwin-bin gnat # Cleanup: remove components not needed rm -rf gnat/share/{themes,icons} -- cgit v1.2.3