ISL

The order in which these libraries are built is important! ISL depends on GMP, and it can also make use of Clang if available.

Extract the tarball somewhere and create a folder outside of the source directory.

tar xf path/to/isl-0.18.tar.gz
mkdir isl-build

Configure ISL.

cd isl-build
../isl-0.18/configure --prefix="$HOME/.local/share/cross" --with-clang=system --with-gmp="$HOME/.local/share/cross" --enable-shared --disable-static LDFLAGS="-Wl,-rpath=$HOME/.local/share/cross/lib"

If Clang isn't available, configure ISL without instead.

cd isl-build
../isl-0.18/configure --prefix="$HOME/.local/share/cross" --with-gmp="$HOME/.local/share/cross" --enable-shared --disable-static LDFLAGS="-Wl,-rpath=$HOME/.local/share/cross/lib"

Build and install ISL.

make -j8
make install