From 99853361819bff87e7cf8103c5205721ec195c32 Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Tue, 5 Jan 2021 20:46:15 +0100
Subject: mv dist/* scripts/

---
 dist/macosx/install-ada.sh | 60 ----------------------------------------------
 1 file changed, 60 deletions(-)
 delete mode 100755 dist/macosx/install-ada.sh

(limited to 'dist/macosx')

diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh
deleted file mode 100755
index 760be908b..000000000
--- a/dist/macosx/install-ada.sh
+++ /dev/null
@@ -1,60 +0,0 @@
-#!/bin/bash
-
-set -e
-
-if [ -e gnat/etc/install_ok ] && [ "x$(cat gnat/etc/install_ok)" = "x2019" ]; then
-    echo "gnatgpl already installed"
-    exit 0
-fi
-
-echo "Download and install gnat-gpl"
-set -x
-
-# Remove old gnat directory
-if [ -d gnat ]; then
-    rm -rf gnat
-fi
-
-# Download from community.adacore.com and extract
-wget -O dmgfile https://community.download.adacore.com/v1/5a7801fc686e86de838cfaf7071170152d81254d?filename=gnat-community-2019-20190517-x86_64-darwin-bin.dmg
-7z x dmgfile
-installer="gnat-community-2019-20190517-x86_64-darwin-bin/gnat-community-2019-20190517-x86_64-darwin-bin.app/Contents/MacOS/gnat-community-2019-20190517-x86_64-darwin-bin"
-
-# Install
-mkdir -p gnat
-chmod +x $installer
-./$installer PREFIX=gnat
-
-# Cleanup: remove components not needed
-rm -rf gnat/share/{themes,icons} \
-       gnat/share/{man,info,doc,examples,gpr,gprconfig,gnatcoll} \
-       gnat/share/gps \
-       gnat/share/gdb* gnat/share/glib* gnat/share/gcc-*/python \
-       gnat/etc/fonts gnat/etc/gtk* \
-       gnat/include/{asis,aunit,gnat_util,gnatcoll,gpr,xmlada} \
-       gnat/include/aws* gnat/include/pycairo gnat/include/python* \
-       gnat/include/pygobject* gnat/include/gdb \
-       gnat/include/c++ \
-       gnat/lib/{aunit,gnat,gnat_util,gnatcoll,gpr,gps,xmlada} \
-       gnat/lib/aws* gnat/lib/girepository* gnat/lib/gtk* \
-       gnat/lib/python* \
-       gnat/lib/gcc/x86*/*/{gcc-include,plugin,install-tools} \
-       gnat/lib/gcc/x86*/*/rts-ios-simulator \
-       gnat/lib/gcc/x86*/*/rts-native/adalib/lib*.dSYM \
-       gnat/lib/gcc/x86*/*/rts-native/adalib/*.dylib \
-       gnat/lib/gcc/x86*/*/rts-native/adalib/lib*_pic.a \
-       gnat/libexec/gprbuild \
-       gnat/libexec/gcc/x86*/*/{plugin,install-tools} \
-       gnat/bin/aws* gnat/bin/gps* gnat/bin/gcov* \
-       gnat/bin/gnat2* gnat/bin/xml2* gnat/bin/gnatcoll* \
-       gnat/bin/gnat{doc,metric,pp,stub,prep,test,check,elim,inspect,find,kr} \
-       gnat/bin/gnat{xref,name} \
-       gnat/bin/gpr* gnat/bin/templates* gnat/bin/web* gnat/bin/wsdl* \
-       gnat/bin/{gdb,cpp,c++,g++} gnat/bin/x86_64-* \
-       gnat/lib/libcc1* gnat/lib/libgomp* gnat/lib/libitm* gnat/lib/libasan* \
-       gnat/lib/libatomic* gnat/lib/libobjc* gnat/lib/libssp* \
-       gnat/lib/libstdc++* gnat/lib/libubsan* gnat/lib/libsupc++* \
-       gnat/lib/libxmlada* \
-       gnat/libexec/gcc/x86*/*/{cc1obj,cc1plus,lto1}
-
-echo "2019" > gnat/etc/install_ok
-- 
cgit v1.2.3