From 5eb81f8ae1ee5cdd001c5bd3a0114b590f167026 Mon Sep 17 00:00:00 2001 From: Thibaut Notteboom Date: Fri, 28 Dec 2012 09:12:03 +0100 Subject: development/gecode: Added (Generic Constraint Developm. Environm.). Signed-off-by: Matteo Bernardini --- development/gecode/README | 14 +++++ development/gecode/gecode.SlackBuild | 113 +++++++++++++++++++++++++++++++++++ development/gecode/gecode.info | 10 ++++ development/gecode/slack-desc | 19 ++++++ 4 files changed, 156 insertions(+) create mode 100644 development/gecode/README create mode 100644 development/gecode/gecode.SlackBuild create mode 100644 development/gecode/gecode.info create mode 100644 development/gecode/slack-desc (limited to 'development/gecode') diff --git a/development/gecode/README b/development/gecode/README new file mode 100644 index 0000000000..e9adb74d0a --- /dev/null +++ b/development/gecode/README @@ -0,0 +1,14 @@ +Gecode is a toolkit for developing constraint-based systems and +applications. Gecode provides a constraint solver with +state-of-the-art performance while being modular and extensible. + +The script supports two switches: + +DODOCS = yes (default: no) to build the html docs (123 Mb) +DOEXAMPLES = yes (default: no) to build the examples + +Note: the second option is disabled explicitly in the build +because installs example binaries in /usr/bin that may conflict +with other packages. If you decide to enable it, it's up to you +to check the contents of the resulting package for possibly +overlaps with your installation. diff --git a/development/gecode/gecode.SlackBuild b/development/gecode/gecode.SlackBuild new file mode 100644 index 0000000000..895a6063e3 --- /dev/null +++ b/development/gecode/gecode.SlackBuild @@ -0,0 +1,113 @@ +#!/bin/sh + +# Slackware build script for gecode + +# Copyright 2012 Thibaut Notteboom, Paris, FRANCE +# 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=gecode +VERSION=${VERSION:-3.7.2} +BUILD=${BUILD:-1} +TAG=${TAG:-_SBo} + +if [ -z "$ARCH" ]; then + case "$( uname -m )" in + i?86) ARCH=i486 ;; + arm*) ARCH=arm ;; + *) ARCH=$( uname -m ) ;; + esac +fi + +CWD=$(pwd) +TMP=${TMP:-/tmp/SBo} +PKG=$TMP/package-$PRGNAM +OUTPUT=${OUTPUT:-/tmp} + +if [ "$ARCH" = "i486" ]; then + SLKCFLAGS="-O2 -march=i486 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "i686" ]; then + SLKCFLAGS="-O2 -march=i686 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "x86_64" ]; then + SLKCFLAGS="-O2 -fPIC" + LIBDIRSUFFIX="64" +else + SLKCFLAGS="-O2" + LIBDIRSUFFIX="" +fi + +if [ "${DOEXAMPLES:-no}" = "yes" ]; then EXAMPLES="en"; else EXAMPLES="dis"; fi + +set -e + +rm -rf $PKG +mkdir -p $TMP $PKG $OUTPUT +cd $TMP +rm -rf $PRGNAM-$VERSION +tar xvf $CWD/$PRGNAM-$VERSION.tar.gz +cd $PRGNAM-$VERSION +chown -R root:root . +find . \ + \( -perm 777 -o -perm 775 -o -perm 711 -o -perm 555 -o -perm 511 \) \ + -exec chmod 755 {} \; -o \ + \( -perm 666 -o -perm 664 -o -perm 600 -o -perm 444 -o -perm 440 -o -perm 400 \) \ + -exec chmod 644 {} \; + +# Use our CFLAGS +sed -i -e "s|-O3|$SLKCFLAGS|" -e "s|-O2|$SLKCFLAGS|" configure + +# We need to specify --disable-examples or lot of binaries with +# names conflicting with other packages go in /usr/bin --ponce +CFLAGS="$SLKCFLAGS" \ +CXXFLAGS="$SLKCFLAGS" \ +./configure \ + --prefix=/usr \ + --libdir=/usr/lib${LIBDIRSUFFIX} \ + --sysconfdir=/etc \ + --localstatedir=/var \ + --mandir=/usr/man \ + --docdir=/usr/doc/$PRGNAM-$VERSION \ + --${EXAMPLES}able-examples \ + --build=$ARCH-slackware-linux + +make +make install DESTDIR=$PKG +[ "${DODOCS:-no}" = "yes" ] && make installdoc DESTDIR=$PKG + +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/examples +if [ "$DODOCS" = "yes" ]; then + mv $PKG/usr/share/doc/$PRGNAM/html $PKG/usr/doc/$PRGNAM-$VERSION/ + chmod 0644 $PKG/usr/doc/$PRGNAM-$VERSION/html/* + rm -fr $PKG/usr/share/doc +fi +cp -a LICENSE $PKG/usr/doc/$PRGNAM-$VERSION +cp examples/*.cpp $PKG/usr/doc/$PRGNAM-$VERSION/examples +chmod 0644 $PKG/usr/doc/$PRGNAM-$VERSION/examples/* +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/development/gecode/gecode.info b/development/gecode/gecode.info new file mode 100644 index 0000000000..7e15586f77 --- /dev/null +++ b/development/gecode/gecode.info @@ -0,0 +1,10 @@ +PRGNAM="gecode" +VERSION="3.7.2" +HOMEPAGE="http://www.gecode.org/" +DOWNLOAD="http://www.gecode.org/download/gecode-3.7.2.tar.gz" +MD5SUM="8d505801f5730bd1b639fb2213b24919" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="Thibaut Notteboom" +EMAIL="tib@tibux.org" diff --git a/development/gecode/slack-desc b/development/gecode/slack-desc new file mode 100644 index 0000000000..966d78ee25 --- /dev/null +++ b/development/gecode/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------------------------------------------------------| +gecode: gecode +gecode: +gecode: Gecode is a toolkit for developing constraint-based systems and +gecode: applications. Gecode provides a constraint solver with +gecode: state-of-the-art performance while being modular and extensible. +gecode: +gecode: homepage: http://www.gecode.org/ +gecode: +gecode: +gecode: +gecode: -- cgit v1.2.3-65-gdbad