From a705bf0dc221da160e63035d40f95a8183c0d020 Mon Sep 17 00:00:00 2001
From: Damien Goutte-Gattat <dgouttegattat@incenp.org>
Date: Sun, 1 Dec 2019 14:18:58 +0000
Subject: [PATCH] l/isl:  Removed.

---
 l/isl/isl-0.19.tar.xz.sha256 |   1 -
 l/isl/isl.SlackBuild         | 117 -----------------------------------
 l/isl/slack-desc             |  12 ----
 3 files changed, 130 deletions(-)
 delete mode 100644 l/isl/isl-0.19.tar.xz.sha256
 delete mode 100755 l/isl/isl.SlackBuild
 delete mode 100644 l/isl/slack-desc

diff --git a/l/isl/isl-0.19.tar.xz.sha256 b/l/isl/isl-0.19.tar.xz.sha256
deleted file mode 100644
index 38fdeef3..00000000
--- a/l/isl/isl-0.19.tar.xz.sha256
+++ /dev/null
@@ -1 +0,0 @@
-6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5  isl-0.19.tar.xz
diff --git a/l/isl/isl.SlackBuild b/l/isl/isl.SlackBuild
deleted file mode 100755
index 1706d4f6..00000000
--- a/l/isl/isl.SlackBuild
+++ /dev/null
@@ -1,117 +0,0 @@
-#!/bin/bash
-# Build script for Slackware
-# Copyright (C) 2018 Damien Goutte-Gattat
-#
-# Redistribution and use of this script, with or without modifications,
-# is permitted provided that the following conditions are met:
-#
-# 1. Redistributions of this script must retain the above copyright
-#    notice, this list of conditions and the following disclaimer.
-#
-# THIS SOFTWARE IS PROVIDED BY THE AUTHOR AS IS'' AND ANY EXPRESS OR
-# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
-# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
-# DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,
-# INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
-# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
-# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
-# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
-# STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
-# IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
-# POSSIBILITY OF SUCH DAMAGE.
-#
-# Contact: Damien Goutte-Gattat <dgouttegattat@incenp.org>
-#
-# Latest isl sourcecode is available at: <http://isl.gforge.inria.fr/>.
-
-# Source package infos
-NAMESRC=${NAMESRC:-isl}
-VERSION=${VERSION:-0.19}
-ARCHIVE=${ARCHIVE:-$NAMESRC-$VERSION.tar.xz}
-WGET=${WGET:-http://isl.gforge.inria.fr/$ARCHIVE}
-
-# Build infos
-NAMEPKG=${NAMEPKG:-isl}
-BUILD=${BUILD:-1GGD}
-ARCH=${ARCH:-$(uname -m | sed 's/^i.86$/i486/;s/^arm.*/arm/')}
-JOBS=${JOBS:-1}
-EXT=${EXT:-txz}
-
-# Directories
-TMP=${TMP:-/tmp}
-OUT=${OUT:-$TMP/build}
-PKG=${PKG:-$OUT/$NAMEPKG}
-CWD=$(pwd)
-
-set -e  # Quit if a command returns non-zero
-
-# Sanity checks
-if [ $UID -eq 0 ]; then
-    echo "You should NOT run this script as ROOT!"
-    exit 1
-fi
-if [ ! -d $TMP ]; then
-    echo "$TMP does not exists or is not a directory!"
-    exit 1
-fi
-
-# Compilation flags
-LIBDIRSUFFIX=""
-case "$ARCH" in
-i?86)
-    CPUOPT="-O2 -march=$ARCH -mtune=i686"
-    ;;
-x86_64)
-    CPUOPT="-O2 -fPIC"
-    LIBDIRSUFFIX="64"
-    ;;
-*)
-    CPUOPT="-O2"
-    ;;
-esac
-
-# Get and verify the source archive
-if [ ! -r $ARCHIVE ]; then
-    wget -c -O $ARCHIVE.part "$WGET"
-    mv $ARCHIVE.part $ARCHIVE
-fi
-sha256sum -c $ARCHIVE.sha256
-NAME=$(tar ft $ARCHIVE | head -n 1 | cut -d / -f 1)
-
-# Compile
-cd $TMP
-echo "Building $ARCHIVE..."
-tar xf $CWD/$ARCHIVE
-cd $NAME
-CFLAGS=$CPUOPT \
-CXXFLAGS=$CPUOPT \
-./configure \
-  --prefix=/usr \
-  --libdir=/usr/lib$LIBDIRSUFFIX \
-  --disable-static \
-  --disable-dependency-tracking \
-  --build=$ARCH-slackware-linux
-make -j $JOBS
-make install-strip DESTDIR=$PKG
-
-# Install the documentation
-mkdir -p $PKG/usr/doc/$NAME
-install -m 644 AUTHORS ChangeLog LICENSE README $PKG/usr/doc/$NAME
-
-# Copy slack-desc file
-install -D -m 644 $CWD/slack-desc $PKG/install/slack-desc
-
-# Package the tree
-cd $PKG
-mkdir -p $OUT
-PACKAGING="
-chown root:root . -R
-/sbin/makepkg -l y -c n $OUT/$NAMEPKG-$VERSION-$ARCH-$BUILD.$EXT
-rm -rf $PKG
-rm -rf $TMP/$NAME
-"
-if type -p fakeroot ; then
-    echo "$PACKAGING" | fakeroot
-else
-    su -c "$PACKAGING"
-fi
diff --git a/l/isl/slack-desc b/l/isl/slack-desc
deleted file mode 100644
index d2b3a16b..00000000
--- a/l/isl/slack-desc
+++ /dev/null
@@ -1,12 +0,0 @@
-   |-----handy-ruler-----------------------------------------------------|
-isl: isl (Integer Set Library)
-isl: 
-isl: Isl is a thread-safe C library for manipulating sets and relations
-isl: of integer points bounded by affine constraints. The descriptions of
-isl: the sets and relations may involve both parameters and existentially
-isl: quantified variables. All computations are performed in exact
-isl: integer arithmetic using GMP.
-isl: 
-isl: 
-isl: 
-isl: