diff options
Diffstat (limited to 'development')
-rw-r--r-- | development/swi-prolog-lite/README | 6 | ||||
-rw-r--r-- | development/swi-prolog-lite/slack-desc | 19 | ||||
-rw-r--r-- | development/swi-prolog-lite/swi-prolog-lite.SlackBuild | 98 | ||||
-rw-r--r-- | development/swi-prolog-lite/swi-prolog-lite.info | 8 |
4 files changed, 131 insertions, 0 deletions
diff --git a/development/swi-prolog-lite/README b/development/swi-prolog-lite/README new file mode 100644 index 0000000000..f3cfd58acd --- /dev/null +++ b/development/swi-prolog-lite/README @@ -0,0 +1,6 @@ +SWI-Prolog is a comprehensive Prolog environment. Its development +started in 1987 and has been driven by real-world applications. +SWI-Prolog is widely used in research, education, and commercial +applications. + +This "lite" package does not include all optional SWI packages. diff --git a/development/swi-prolog-lite/slack-desc b/development/swi-prolog-lite/slack-desc new file mode 100644 index 0000000000..bb6481d456 --- /dev/null +++ b/development/swi-prolog-lite/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 ':'. + + |-----handy-ruler--------------------------------------------------| +swi-prolog-lite: swi-prolog-lite (a comprehensive Prolog environment) +swi-prolog-lite: +swi-prolog-lite: SWI-Prolog is a comprehensive Prolog environment. Its development +swi-prolog-lite: started in 1987 and has been driven by real-world applications. +swi-prolog-lite: SWI-Prolog is widely used in research, education, and commercial +swi-prolog-lite: applications. +swi-prolog-lite: +swi-prolog-lite: This "lite" package does not include all optional SWI packages. +swi-prolog-lite: +swi-prolog-lite: Homepage: http://www.swi-prolog.org/ +swi-prolog-lite: diff --git a/development/swi-prolog-lite/swi-prolog-lite.SlackBuild b/development/swi-prolog-lite/swi-prolog-lite.SlackBuild new file mode 100644 index 0000000000..1f50ac9f20 --- /dev/null +++ b/development/swi-prolog-lite/swi-prolog-lite.SlackBuild @@ -0,0 +1,98 @@ +#!/bin/sh + +# Slackware build script for swi-prolog-lite + +# Copyright (c) 2008 Daniel de Kok <gro.kdleinad@em> +# 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=swi-prolog-lite +VERSION=5.6.48 +ARCH=${ARCH:-i486} +BUILD=${BUILD:-1} +TAG=${TAG:-_SBo} + +CWD=$(pwd) +TMP=${TMP:-/tmp/SBo} +PKG=$TMP/package-$PRGNAM +OUTPUT=${OUTPUT:-/tmp} + +if [ "$ARCH" = "i486" ]; then + SLKCFLAGS="-O2 -march=i486 -mtune=i686" +elif [ "$ARCH" = "i686" ]; then + SLKCFLAGS="-O2 -march=i686 -mtune=i686" +fi + +set -e # Exit on most errors + +DISTNAM=pl # Source tarball name + +rm -rf $PKG +mkdir -p $TMP $PKG $OUTPUT +cd $TMP +rm -rf $DISTNAM-$VERSION +tar xvf $CWD/$DISTNAM-$VERSION.tar.gz +cd $DISTNAM-$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 {} \; + +CFLAGS="$SLKCFLAGS" \ +CXXFLAGS="$SLKCFLAGS" \ +./configure \ + --prefix=/usr \ + --sysconfdir=/etc \ + --localstatedir=/var \ + --mandir=/usr/man \ + --enable-readline \ + --enable-gmp + +make +make install DESTDIR=$PKG + +( cd $PKG + find . | xargs file | grep "executable" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true + find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null +) + +( cd $PKG/usr/man + find . -type f -exec gzip -9 {} \; + for i in $( find . -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done +) + +# Manual pages were installed in /usr/man. +rm -r $PKG/usr/lib/$DISTNAM-$VERSION/man + +mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION +cp -a ANNOUNCE COPYING ChangeLog INSTALL INSTALL.notes LSM \ + PORTING README* VERSION $PKG/usr/doc/$PRGNAM-$VERSION +cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild + +# Put the manual where we expect it to be. +mv $PKG/usr/lib/$DISTNAM-$VERSION/doc/Manual $PKG/usr/doc/$PRGNAM-$VERSION +rm -r $PKG/usr/lib/$DISTNAM-$VERSION/doc + +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.tgz diff --git a/development/swi-prolog-lite/swi-prolog-lite.info b/development/swi-prolog-lite/swi-prolog-lite.info new file mode 100644 index 0000000000..0f53404dbd --- /dev/null +++ b/development/swi-prolog-lite/swi-prolog-lite.info @@ -0,0 +1,8 @@ +PRGNAM="swi-prolog-lite" +VERSION="5.6.48" +HOMEPAGE="http://www.swi-prolog.org/" +DOWNLOAD="http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-5.6.48.tar.gz" +MD5SUM="032dae8e3aac3909238d9866787a0e11" +MAINTAINER="Daniel de Kok" +EMAIL="me@danieldk.org" +APPROVED="rworkman" |