diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 20:46:15 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-06 07:30:46 +0100 |
commit | 99853361819bff87e7cf8103c5205721ec195c32 (patch) | |
tree | 29a6dda1199534497f5a09ea1268aa3a619c41b8 /scripts/macosx | |
parent | 301f442a6e66a83b47ed7d40e5b61389b9c33446 (diff) | |
download | ghdl-99853361819bff87e7cf8103c5205721ec195c32.tar.gz ghdl-99853361819bff87e7cf8103c5205721ec195c32.tar.bz2 ghdl-99853361819bff87e7cf8103c5205721ec195c32.zip |
mv dist/* scripts/
Diffstat (limited to 'scripts/macosx')
-rwxr-xr-x | scripts/macosx/install-ada.sh | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/scripts/macosx/install-ada.sh b/scripts/macosx/install-ada.sh new file mode 100755 index 000000000..760be908b --- /dev/null +++ b/scripts/macosx/install-ada.sh @@ -0,0 +1,60 @@ +#!/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 |