community adacore source code

community adacore source code

[tonyg]

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

Re: community adacore source code

[Jeffrey R. Carter]

On 8/11/19 10:27 AM, tonyg wrote:
> 
> 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

Zlib seems to be in the AWS Github repo in the include directory:

https://github.com/AdaCore/aws/tree/master/include

-- 
Jeff Carter
"Damn it, Jim, I'm an actor, not a doctor."
124

Re: community adacore source code

[Stéphane Rivière]

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

Re: community adacore source code

[Simon Wright]

tonyg <tonythegair@gmail.com> writes:

> 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

There's certainly something odd going on there - you could report it to
AdaCore?

The date on the zlib that won't download is 2015, so I went back to the
2015 version (for macOS); both zlibs there (1.2.3, 1.2.6) downloaded OK.