%general-entities; ]> ISL-&isl-version; 64 Bit ISL Installation of ISL CC="gcc -isystem /usr/include ${BUILD64}" \ LDFLAGS="-Wl,-rpath-link,/usr/lib64:/lib64 ${BUILD64}" \ ./configure --prefix=/usr --libdir=/usr/lib64 mkdir -pv /usr/share/gdb/auto-load/usr/lib64 mv -v /usr/lib64/*gdb.py /usr/share/gdb/auto-load/usr/lib64