Lx4U-book/docs/build-system/isl.md

Настройка

./configure --prefix=/usr        \
            --disable-static     

Сборка

make

Установка

make install

Переместите неправильно установленные файлы:

mkdir -pv /usr/share/gdb/auto-load/usr/lib
mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib

Установленные файлы

Библиотеки: libmpc.so