From: "Stéphane Rivière" <stef@genesix.fr>
Subject: Re: community adacore source code
Date: Sun, 11 Aug 2019 11:40:50 +0200
Date: 2019-08-11T11:40:50+02:00 [thread overview]
Message-ID: <qionr1$1cj8$1@gioia.aioe.org> (raw)
In-Reply-To: 52a674bc-e6e5-4873-b3cd-2190299d7a02@googlegroups.com
Hi Tony,
> I've been trying to download the zlib source from the adacore website and it does not find this. Starts downloading other packages. I'm desperate for a copy to work with 2019, can someone post me a link to it so I can install it ! thanks
A full automated Adacore Gnat 2019 install, including ASIS, AdaControl
(a very useful ASIS app) and... Zlib (with zlib-ada inside but notice
there is a more recent zlib-ada release here :
http://zlib-ada.sourceforge.net).
Tested in debian like environment (Debian 9 and Ubuntu LTS18.04).
Have fun...
Stef
#!/usr/bin/env bash
#----------------------------------------------------------------------------
#
# AIDE v2 installation script
#
# 20190715 - sr - First release
#
# Set the "if true; then" line to false if you experiment some install
# problem and don't want to download again all the files (one of them is
# huge).
#
#----------------------------------------------------------------------------
VERSION='1.0'
#BASEDIR='~/opt/GNAT'
BASEDIR="/home/${USER}/opt/GNAT"
echo "${BASEDIR}"
cat <<EOF
You are about to install the Ada Instant Development Environment v2.
You should not have any other GNAT environment already installed,
in order to avoid conflicts when compiling libraries and programs
during the second step of this setup.
This setup:
- Downloads all necessary files
- Install the Adacore Ada GPL environnement with GPS IDE
- Build & install ASIS (Ada Semantic Interface Specification)
- Build & install AdaControl, a check tool with rules using ASIS
- Build & install some additional librairies
- Update PATH permanently in ~/.bashrc
EOF
read -n1 -r -p 'Press a key to install AIDE v2 or press <CTRL-C> to
abort...' _
echo ''
#--- Base dirs
mkdir --parents ~/opt ${BASEDIR} ${BASEDIR}/dl ${BASEDIR}/lib ${BASEDIR}/app
cd "${BASEDIR}/dl"
if true; then
#--- Downloads (main)
wget http://mirrors.cdn.adacore.com/art/5cdffc5409dcd015aaf82626
--output-document ./gnat-community-2019-20190517-x86_64-linux-bin
wget http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
--output-document ./asis-2019-20190517-18AB5-src.tar.gz
wget http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5
--output-document ./xmlada-2019-20190429-19B9D-src.tar.gz
wget https://sourceforge.net/projects/adacontrol/files/adactl-1.20r9-src.tgz
#--- Domnloads (others)
wget
https://sourceforge.net/projects/libpng/files/zlib/1.2.11/zlib-1.2.11.tar.gz
#--- IDE Install
cat <<EOF
You are about to install the Gnat Programming System IDE.
Do not change any default choices !
EOF
read -n1 -r -p 'Press a key to install the IDE...' _
echo ''
chmod +x ./gnat-community-2019-20190517-x86_64-linux-bin
./gnat-community-2019-20190517-x86_64-linux-bin
fi
#--- Set path
PATH=${BASEDIR}/2019/bin:$PATH
GNATPATH='export PATH='"${BASEDIR}"'/2019/bin'
isInFile=$(cat ~/.bashrc | grep -c "${GNATPATH}")
if [ $isInFile -eq 0 ]; then
printf 'export PATH='"${BASEDIR}"'/2019/bin:$PATH'"\n" >> ~/.bashrc
else
echo "${GNATPATH} already defined in ~/.bashrc"
fi
#--- Asis build
cd "${BASEDIR}/dl"
tar xzf ./asis-2019-20190517-18AB5-src.tar.gz -C ${BASEDIR}/lib
mv --force ${BASEDIR}/lib/asis-2019-20190517-18AB5-src
${BASEDIR}/lib/asis-2019
cd ${BASEDIR}/lib/asis-2019
make all install prefix=${BASEDIR}/2019
#--- Adacontrol (Asis validation)
cd "${BASEDIR}/dl"
tar xzf ./adactl-1.20r9-src.tgz -C ${BASEDIR}/app
cd ${BASEDIR}/app/adactl-1.20r9
gprbuild -d -P./build.gpr -XGPR_BUILD=static -XXMLADA_BUILD=static
-XGNATCOLL_CORE_BUILD=static -XGNATCOLL_BUILD=static -XASIS_BUILD=static
mv --force ./adactl ${BASEDIR}/2019/bin
mv --force ./adactl_fix ${BASEDIR}/2019/bin
mv --force ./pfni ${BASEDIR}/2019/bin
mv --force ./ptree ${BASEDIR}/2019/bin
cd ${BASEDIR}/dl
#--- Others libs
cd "${BASEDIR}/dl"
tar xzf ./zlib-1.2.11.tar.gz -C "${BASEDIR}"/lib
cd ${BASEDIR}/lib/zlib-1.2.11/contrib/ada
gprbuild -d -P./zlib.gpr -XGPR_BUILD=static -XXMLADA_BUILD=static
-XGNATCOLL_CORE_BUILD=static -XGNATCOLL_BUILD=static -XASIS_BUILD=static
cat <<EOF
Setup is finished. Scrollback your console to check the process.
The binaries are located in: ${BASEDIR}/2019/bin
The documentation is available in: ${BASEDIR}/2019/share/doc
EOF
#----------------------------------------------------------------------------
# EOF
#----------------------------------------------------------------------------
--
Be Seeing You
Number Six
next prev parent reply other threads:[~2019-08-11 9:40 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-08-11 8:27 community adacore source code tonyg
2019-08-11 9:39 ` Jeffrey R. Carter
2019-08-11 9:40 ` Stéphane Rivière [this message]
2019-08-11 9:44 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox