mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-22 19:44:21 +01:00
development/swi-prolog: Updated for version 8.0.3.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Nick Smallbone
Willy Sudiarto Raharjo
parent
e7be376fdb
commit
b604b899ea
4 changed files with 62 additions and 74 deletions
|
|
@ -3,7 +3,8 @@ started in 1987 and has been driven by real-world applications.
|
|||
SWI-Prolog is widely used in research, education, and commercial
|
||||
applications.
|
||||
|
||||
swi-prolog is build without BerkeleyDB support at the moment
|
||||
(too experimental and won't build) and without GMP support.
|
||||
If you want GMP support with swiprolog run the script with
|
||||
GMP=yes ./swi-prolog.SlackBuild
|
||||
Optional dependencies:
|
||||
* qt5 (for swipl-win GUI)
|
||||
* jdk or openjdk (for JPL Prolog/Java interface)
|
||||
* uuid, libedit (for Prolog bindings to these libraries -
|
||||
libedit is NOT needed to get history editing in swipl)
|
||||
|
|
|
|||
|
|
@ -13,7 +13,7 @@ swi-prolog: development started in 1987 and has been driven by real-world
|
|||
swi-prolog: applications. SWI-Prolog is widely used in research, education,
|
||||
swi-prolog: and commercial applications.
|
||||
swi-prolog:
|
||||
swi-prolog: Homepage: http://www.swi-prolog.org/
|
||||
swi-prolog: Homepage: https://www.swi-prolog.org/
|
||||
swi-prolog:
|
||||
swi-prolog:
|
||||
swi-prolog:
|
||||
|
|
|
|||
|
|
@ -1,34 +1,49 @@
|
|||
#!/bin/sh
|
||||
# Slackware build script for swi prolog
|
||||
# written by Florian Kanngiesser (florian.kanngiesser@googlemail.com)
|
||||
|
||||
# Slackware build script for swi-prolog
|
||||
|
||||
# Copyright 2020 Nick Smallbone <nick@smallbone.se>, Gothenburg, Sweden
|
||||
# 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
|
||||
VERSION=${VERSION:-6.2.4}
|
||||
VERSION=${VERSION:-8.0.3}
|
||||
BUILD=${BUILD:-1}
|
||||
TAG=${TAG:-_SBo}
|
||||
|
||||
SRCNAM=pl
|
||||
SRCNAM=swipl
|
||||
|
||||
if [ -z "$ARCH" ]; then
|
||||
case "$( uname -m )" in
|
||||
i?86) ARCH=i486 ;;
|
||||
i?86) ARCH=i586 ;;
|
||||
arm*) ARCH=arm ;;
|
||||
*) ARCH=$( uname -m ) ;;
|
||||
esac
|
||||
fi
|
||||
|
||||
# GMP requires gmplib.
|
||||
if [ "${GMP:-no}" = "no" ]; then
|
||||
SETGMP="out"
|
||||
fi
|
||||
|
||||
CWD=$(pwd)
|
||||
TMP=${TMP:-/tmp/SBo}
|
||||
PKG=$TMP/package-$PRGNAM
|
||||
OUTPUT=${OUTPUT:-/tmp}
|
||||
|
||||
if [ "$ARCH" = "i486" ]; then
|
||||
SLKCFLAGS="-O2 -march=i486 -mtune=i686"
|
||||
if [ "$ARCH" = "i586" ]; then
|
||||
SLKCFLAGS="-O2 -march=i586 -mtune=i686"
|
||||
LIBDIRSUFFIX=""
|
||||
elif [ "$ARCH" = "i686" ]; then
|
||||
SLKCFLAGS="-O2 -march=i686 -mtune=i686"
|
||||
|
|
@ -51,67 +66,39 @@ tar xvf $CWD/$SRCNAM-$VERSION.tar.gz
|
|||
cd $SRCNAM-$VERSION
|
||||
chown -R root:root .
|
||||
find -L . \
|
||||
\( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 -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 {} \;
|
||||
\( -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 {} \;
|
||||
|
||||
# Build with default options: In future hopefully we can build with BerkeleyDB
|
||||
# support (--with-db).
|
||||
CFLAGS="$SLKCFLAGS" \
|
||||
CXXFLAGS="$SLKCFLAGS" \
|
||||
./configure \
|
||||
--prefix=/usr \
|
||||
--libdir=/usr/lib${LIBDIRSUFFIX} \
|
||||
--sysconfdir=/etc \
|
||||
--localstatedir=/var \
|
||||
--docdir=/usr/doc/$PRGNAM-$VERSION \
|
||||
--mandir=/usr/man \
|
||||
--with$SETGMP-gmp \
|
||||
--build=$ARCH-slackware-linux
|
||||
make all
|
||||
make install DESTDIR=$PKG
|
||||
cd packages
|
||||
CFLAGS="$SLKCFLAGS" \
|
||||
CXXFLAGS="$SLKCFLAGS" \
|
||||
./configure \
|
||||
--with-cpp \
|
||||
--with-clib \
|
||||
--with-odbc \
|
||||
--with-table \
|
||||
--with-xpce \
|
||||
--with-sgml \
|
||||
--with-RDF \
|
||||
--with-semweb \
|
||||
--with-http \
|
||||
--with-chr \
|
||||
--with-clpqr \
|
||||
--with-nlp \
|
||||
--with-ssl \
|
||||
--with-tipc \
|
||||
--with-pldoc \
|
||||
--with-plunit \
|
||||
--with-zlib \
|
||||
--with-R \
|
||||
--with-protobufs \
|
||||
--with-PDT \
|
||||
--with-utf8proc \
|
||||
--with-archive \
|
||||
--without-jpl
|
||||
make all
|
||||
make install DESTDIR=$PKG
|
||||
cd -
|
||||
# Compatibility with 14.2's version of CMake
|
||||
sed -i 's/NATIVE_COMMAND/UNIX_COMMAND/g' packages/odbc/cmake/FindODBC.cmake
|
||||
|
||||
find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
|
||||
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
|
||||
mkdir -p build
|
||||
cd build
|
||||
cmake \
|
||||
-DCMAKE_C_FLAGS:STRING="$SLKCFLAGS" \
|
||||
-DCMAKE_CXX_FLAGS:STRING="$SLKCFLAGS" \
|
||||
-DCMAKE_INSTALL_PREFIX=/usr \
|
||||
-DCMAKE_BUILD_TYPE=Release \
|
||||
-DSWIPL_INSTALL_MANPAGES=man/man1 \
|
||||
-DINSTALL_DOCUMENTATION=1 \
|
||||
..
|
||||
make
|
||||
make install/strip DESTDIR=$PKG
|
||||
cd ..
|
||||
|
||||
find $PKG/usr/man -type f -exec gzip -9 {} \;
|
||||
for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
|
||||
|
||||
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
|
||||
cp -a \
|
||||
COPYING INSTALL README* VERSION demo ReleaseNotes \
|
||||
LICENSE INSTALL VERSION customize \
|
||||
$PKG/usr/doc/$PRGNAM-$VERSION
|
||||
ln -s ../../lib/$SRCNAM/doc/Manual $PKG/usr/doc/$PRGNAM-$VERSION/manual
|
||||
ln -s ../../lib/$SRCNAM/doc/packages $PKG/usr/doc/$PRGNAM-$VERSION
|
||||
ln -s ../../lib/$SRCNAM/demo $PKG/usr/doc/$PRGNAM-$VERSION
|
||||
ln -s ../../lib/$SRCNAM/README.md $PKG/usr/doc/$PRGNAM-$VERSION
|
||||
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
|
||||
|
||||
mkdir -p $PKG/install
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
PRGNAM="swi-prolog"
|
||||
VERSION="6.2.4"
|
||||
VERSION="8.0.3"
|
||||
HOMEPAGE="http://www.swi-prolog.org/"
|
||||
DOWNLOAD="http://www.swi-prolog.org/download/stable/src/pl-6.2.4.tar.gz"
|
||||
MD5SUM="0764f857e9f58d1c86fe60fca3a7992b"
|
||||
DOWNLOAD="http://www.swi-prolog.org/download/stable/src/swipl-8.0.3.tar.gz"
|
||||
MD5SUM="84a42c3f0ea50448d59bad4db3a3a362"
|
||||
DOWNLOAD_x86_64=""
|
||||
MD5SUM_x86_64=""
|
||||
REQUIRES=""
|
||||
MAINTAINER="Florian Kanngiesser"
|
||||
EMAIL="florian.kanngiesser@googlemail.com"
|
||||
MAINTAINER="Nick Smallbone"
|
||||
EMAIL="nick@smallbone.se"
|
||||
|
|
|
|||
Loading…
Reference in a new issue