G++

apt-get install libisl-dev

ln -s /usr/lib/x86_64-linux-gnu/libisl.so.15.3.0 /usr/lib/libisl.so.10