* community adacore source code
@ 2019-08-11 8:27 tonyg
2019-08-11 9:39 ` Jeffrey R. Carter
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: tonyg @ 2019-08-11 8:27 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: community adacore source code
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
2019-08-11 9:44 ` Simon Wright
2 siblings, 0 replies; 4+ messages in thread
From: Jeffrey R. Carter @ 2019-08-11 9:39 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: community adacore source code
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
2019-08-11 9:44 ` Simon Wright
2 siblings, 0 replies; 4+ messages in thread
From: Stéphane Rivière @ 2019-08-11 9:40 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: community adacore source code
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
@ 2019-08-11 9:44 ` Simon Wright
2 siblings, 0 replies; 4+ messages in thread
From: Simon Wright @ 2019-08-11 9:44 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2019-08-11 9:44 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
2019-08-11 9:44 ` Simon Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox