isl - Integer Set Library ChangeLog

HOWTO


# ISL 0.26
# ========
# Slackware 15.0: isl 0.24

# When this HOWTO was updated for 0.19 and previous releases,
# there was no Slackware package, so we used the default prefix
# of /usr/local.  Below we now use /usr.  So if you have ISL
# installed from <= 0.19 source, see below about removing that before
# you install the new version.

# Prerequisites:
# Python
# Perl
# teTeX's pdflatex
# GMP
# pkg-config

# You may find it here too, but may not be the latest:
# http://gcc.gnu.org/pub/gcc/infrastructure/

# Get the source tarball
cd
test -f installed/isl-0.26.tar.xz && mv -f installed/isl-0.26.tar.xz .
test ! -f isl-0.26.tar.xz &&
wget https://libisl.sourceforge.io/isl-0.26.tar.xz

# Extract the source
mkdir -p -m 0700 ~/src
cd ~/src
tar xJvf ~/isl-0.26.tar.xz
cd isl-0.26
test $UID = 0 && chown -R root:root .

# Configure the build for 64-bit
test $(uname -m) = 'x86_64' && ./configure --prefix=/usr --libdir=/usr/lib64

# Configure the build for anything else
test $(uname -m) != 'x86_64' && ./configure --prefix=/usr

# Build it
make

# Become root to install it
su

# If you have Python, when you run ldconfig below, it may complain
# that /usr/lib*/libisl.so.*-gdb.py is not an ELF file
# This is a warning, not a failure
# The warning is accurate - it is _not_ an ELF file, on purpose
# To move it where Slackware would put it, and therefore quiet that
# message, do this:
LIBDIR=/usr/lib
test $(uname -m) = 'x86_64' && LIBDIR=/usr/lib64
mv -f ${LIBDIR}/libisl.so.23.3.0-gdb.py \
/usr/share/gdb/auto-load/${LIBDIR}/
unset LIBDIR

# Install it
make install
ldconfig

# Make sure your non-root user can remove the source later
chown -R $(logname) .
chmod -R u+w .

# Become your non-root user again
exit

# Save the tarball for later
cd
mkdir -p -m 0700 src
rm -f installed/isl-*.tar.*
mv isl-0.26.tar.xz installed/


# If you ever want to uninstall ISL, this should do it:
cd
su
test -d src/isl-* && ( cd src/isl-* ; make uninstall )
for pfx in /usr /usr/local;
do
  test -d ${pfx}/include/isl && rm -r ${pfx}/include/isl
  rm -f ${pfx}/lib/libisl.* ${pfx}/lib/pkgconfig/isl.pc
  test -d ${pfx}/lib64 &&
   rm -f ${pfx}/lib64/libisl.* ${pfx}/lib64/pkgconfig/isl.pc
done
ldconfig
exit
find ~/src -maxdepth 1 -type d -name "isl-*" -exec rm -r {} \;
rm -f ~/installed/isl-*.tar.*

List of HOWTOs

Web page itself last updated: 2023-12-20 8:06pm (EDT -0400)
HOWTO last updated: 2024-02-02 1:08am
Copyright © 2001-2024 Jason Englander. All Rights reserved.
[HTML5]