#!/bin/bash
set -x
set -e
set -o pipefail
set -u

#xz
gmp=6.1.2

#xz
mpfr=3.1.5

#gz
mpc=1.0.3

# isl stands for Integer Set Library.  The version of fsf is older (0.16.1) than the one at inria (0.17.1), but we use the recommended fsf version.  There is no cryptographic signature.

#bz2
#isl=0.16.1
isl=0.18

#bz2
gcc=7.1.0

udir=/tmp/gcc

cd $udir

pushd $udir/gcc-$gcc
ln -s ../gmp-$gmp gmp
ln -s ../mpfr-$mpfr mpfr
ln -s ../mpc-$mpc mpc
ln -s ../isl-$isl isl
popd

mkdir $udir/build
cd $udir/build

# making target needed for isl configure
mkdir $udir/install

# --enable-languages=all,ada,go,jit,obj-c++
# --enable-languages=ada,c,c++
# --disable-multilib
# --enable-languages=jit
#--with-multilib-list=
#--disable-multilib
export CC=gnatgcc
../gcc-$gcc/configure --prefix=$udir/install --enable-languages=c,ada --disable-host-shared --enable-threads=posix --with-tune=generic --with-system-zlib --disable-multilib > configure.out 2>&1

make -j9 > make01.out 2>&1
make install > install.out 2>&1
true all done