From cda89be7fd7a3ecdc3ea35382624d5f0f377e4e9 Mon Sep 17 00:00:00 2001 From: Jan F. Chadima Date: Sun, 3 Dec 2017 23:36:30 +0000 Subject: libraries/isl: Added (Integer point manipulation library). Signed-off-by: David Spencer --- libraries/isl/README | 8 +++ libraries/isl/isl.SlackBuild | 115 +++++++++++++++++++++++++++++++++++++++++++ libraries/isl/isl.info | 10 ++++ libraries/isl/slack-desc | 19 +++++++ 4 files changed, 152 insertions(+) create mode 100644 libraries/isl/README create mode 100644 libraries/isl/isl.SlackBuild create mode 100644 libraries/isl/isl.info create mode 100644 libraries/isl/slack-desc (limited to 'libraries/isl') diff --git a/libraries/isl/README b/libraries/isl/README new file mode 100644 index 0000000000..342213d403 --- /dev/null +++ b/libraries/isl/README @@ -0,0 +1,8 @@ +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 new file mode 100644 index 0000000000..58173fad6d --- /dev/null +++ b/libraries/isl/isl.SlackBuild @@ -0,0 +1,115 @@ +#!/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 new file mode 100644 index 0000000000..1784d2ae24 --- /dev/null +++ b/libraries/isl/isl.info @@ -0,0 +1,10 @@ +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 new file mode 100644 index 0000000000..8bd67300f0 --- /dev/null +++ b/libraries/isl/slack-desc @@ -0,0 +1,19 @@ +# 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