From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.ZuFOaVIGPCIRATU30OD3uQ.user.gioia.aioe.org!not-for-mail
From: =?UTF-8?B?U3TDqXBoYW5lIFJpdmnDqHJl?= <stef@genesix.fr>
Newsgroups: comp.lang.ada
Subject: Re: community adacore source code
Date: Sun, 11 Aug 2019 11:40:50 +0200
Organization: Aioe.org NNTP Server
Message-ID: <qionr1$1cj8$1@gioia.aioe.org>
References: <52a674bc-e6e5-4873-b3cd-2190299d7a02@googlegroups.com>
NNTP-Posting-Host: ZuFOaVIGPCIRATU30OD3uQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.8.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: fr
Openpgp: preference=signencrypt
Xref: reader01.eternal-september.org comp.lang.ada:57034
Date: 2019-08-11T11:40:50+02:00
List-Id: <comp.lang.ada>

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