gcc unable to find shared library libisl.so

Follow the instructions at https://gcc.gnu.org/wiki/InstallingGCC

Specifically, don't install ISL manually in some non-standard path, because GCC needs to find its shared libraries at run-time.

The simplest solution is to use the download_prerequisites script to add the GMP, MPFR, MPC and ISL source code to the GCC source tree, which will cause GCC to build them for you automatically, and link to them statically.

I have the same issue. I solved it as follows:

1. Download the source code of isl available here

2. Unzip and install: ./configure && make && make install

3. cp /usr/local/lib/libisl* /usr/lib

   • Note: a symlink also works:

     $ cd /usr/lib

     $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10

4. You can do the same in Debian distros:

   apt-get install libisl-dev

5. Adjust the references of shared libs:

   $ cp /usr/local/lib/libisl* /usr/lib

   • Note: a symlink also works:

     $ cd /usr/lib

     $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10