diff options
Diffstat (limited to 'dist/macosx')
-rwxr-xr-x | dist/macosx/install-ada.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh index 97bc762ec..13524e614 100755 --- a/dist/macosx/install-ada.sh +++ b/dist/macosx/install-ada.sh @@ -17,7 +17,8 @@ curl -o $tarfile http://mirrors.cdn.adacore.com/art/591c9045c7a447af2deed24e # un tar tar xf $tarfile -# Direct install +# Remove old gnat directory and install manually +rm -rf gnat mv gnat-gpl-2017-x86_64-darwin-bin gnat # Cleanup: remove components not needed |