From 7d4ec2e5660699a5c6321ff56cc1d05b7279b21a Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Tue, 24 Sep 2019 07:24:50 +0200 Subject: libraries/isl: Removed (added to Slackware). Signed-off-by: Matteo Bernardini --- libraries/isl/README | 8 --- libraries/isl/isl.SlackBuild | 115 ------------------------------------------- libraries/isl/isl.info | 10 ---- libraries/isl/slack-desc | 19 ------- 4 files changed, 152 deletions(-) delete mode 100644 libraries/isl/README delete mode 100644 libraries/isl/isl.SlackBuild delete mode 100644 libraries/isl/isl.info delete mode 100644 libraries/isl/slack-desc diff --git a/libraries/isl/README b/libraries/isl/README deleted file mode 100644 index 342213d403..0000000000 --- a/libraries/isl/README +++ /dev/null @@ -1,8 +0,0 @@ -isl is a library for manipulating sets and relations of integer points -bounded by linear constraints. Supported operations on sets include -intersection, union, set difference, emptiness check, convex hull, -(integer) affine hull, integer projection, computings the lexicographic -minimum using parametric integer programming, coalescing and parametric -vertex enumeration. It also includes an ILP solver based on generalized -basis reduction, transitive closures on maps (which may encode infinite -graphs), dependence analysis and bounds on piecewise step-polynomials. diff --git a/libraries/isl/isl.SlackBuild b/libraries/isl/isl.SlackBuild deleted file mode 100644 index 58173fad6d..0000000000 --- a/libraries/isl/isl.SlackBuild +++ /dev/null @@ -1,115 +0,0 @@ -#!/bin/sh - -# Slackware build script for isl - -# Copyright 2017 Jan F. Chadima -# All rights reserved. -# -# Redistribution and use of this script, with or without modification, 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. - -PRGNAM=isl -VERSION=${VERSION:-0.18} -BUILD=${BUILD:-1} -TAG=${TAG:-_SBo} - -if [ -z "$ARCH" ]; then - case "$( uname -m )" in - i?86) ARCH=i586 ;; - arm*) readelf /usr/bin/file -A | egrep -q "Tag_CPU.*[4,5]" && ARCH=arm || ARCH=armv7hl ;; - *) ARCH=$( uname -m ) ;; - esac -fi - -CWD=$(pwd) -TMP=${TMP:-/tmp/SBo} -PKG=$TMP/package-$PRGNAM -OUTPUT=${OUTPUT:-/tmp} - -if [ "$ARCH" = "i586" ]; then - SLKCFLAGS="${SLKCFLAGS:--O2 -march=i586 -mtune=i686}" - LIBDIRSUFFIX="" - GNUEABI="" -elif [ "$ARCH" = "i686" ]; then - SLKCFLAGS="${SLKCFLAGS:--O2 -march=i686 -mtune=i686}" - LIBDIRSUFFIX="" - GNUEABI="" -elif [ "$ARCH" = "x86_64" ]; then - SLKCFLAGS="${SLKCFLAGS:--O2 -fPIC}" - LIBDIRSUFFIX="64" - GNUEABI="" -elif [ "$ARCH" = "arm" ]; then - SLKCFLAGS="${SLKCFLAGS:--O3 -march=armv4t -mtune=cortex-a6 -fPIC}" - LIBDIRSUFFIX="" - GNUEABI="-gnueabi" -elif [ "$ARCH" = "armv7hl" ]; then - SLKCFLAGS="${SLKCFLAGS:--O3 -march=armv7-a -mtune=cortex-a8 -mfpu=neon-vfpv4 -fPIC}" - LIBDIRSUFFIX="" - GNUEABI="-gnueabi" -else - SLKCFLAGS="${SLKCFLAGS:--O2}" - LIBDIRSUFFIX="" - GNUEABI="" -fi - -set -e - -rm -rf $PKG -mkdir -p $TMP $PKG $OUTPUT -cd $TMP -rm -rf $PRGNAM-$VERSION -tar xvf $CWD/$PRGNAM-$VERSION.tar.xz -cd $PRGNAM-$VERSION -chown -R root:root . -find -L . \ - \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \ - -o -perm 511 \) -exec chmod 755 {} \; -o \ - \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ - -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; - -CFLAGS="$SLKCFLAGS" \ -CXXFLAGS="$SLKCFLAGS" \ -./configure \ - --prefix=/usr \ - --libdir=/usr/lib$LIBDIRSUFFIX \ - --sysconfdir=/etc \ - --localstatedir=/var \ - --docdir=/usr/doc/$PRGNAM-$VERSION \ - --build=$ARCH-slackware-linux$GNUEABI - -make -make install DESTDIR=$PKG - -# Move gdb extension to its place. -mkdir -p $PKG/usr/share/gdb/auto-load/usr/lib$LIBDIRSUFFIX -mv $PKG/usr/lib$LIBDIRSUFFIX/*-gdb.py* \ - $PKG/usr/share/gdb/auto-load/usr/lib$LIBDIRSUFFIX - -find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ - | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true - -mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION -cp -a \ - AUTHORS ChangeLog LICENSE README doc/*.bib doc/*.pdf doc/*.pod doc/*.tex \ - $PKG/usr/doc/$PRGNAM-$VERSION -cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild - -mkdir -p $PKG/install -cat $CWD/slack-desc > $PKG/install/slack-desc - -cd $PKG -/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} diff --git a/libraries/isl/isl.info b/libraries/isl/isl.info deleted file mode 100644 index 1784d2ae24..0000000000 --- a/libraries/isl/isl.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="isl" -VERSION="0.18" -HOMEPAGE="http://isl.gforge.inria.fr" -DOWNLOAD="http://isl.gforge.inria.fr/isl-0.18.tar.xz" -MD5SUM="5337cd4c29101fe8e8e1b0f5948f91e2" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="" -MAINTAINER="Jan F. Chadima" -EMAIL="jfch@jagda.eu" diff --git a/libraries/isl/slack-desc b/libraries/isl/slack-desc deleted file mode 100644 index 8bd67300f0..0000000000 --- a/libraries/isl/slack-desc +++ /dev/null @@ -1,19 +0,0 @@ -# HOW TO EDIT THIS FILE: -# The "handy ruler" below makes it easier to edit a package description. -# Line up the first '|' above the ':' following the base package name, and -# the '|' on the right side marks the last column you can put a character in. -# You must make exactly 11 lines for the formatting to be correct. It's also -# customary to leave one space after the ':' except on otherwise blank lines. - - |-----handy-ruler------------------------------------------------------| -isl: isl (Integer point manipulation library) -isl: -isl: isl is a library for manipulating sets and relations of integer -isl: points bounded by linear constraints. -isl: -isl: Homepage: http://isl.gforge.inria.fr/ -isl: -isl: -isl: -isl: -isl: -- cgit v1.2.3