summaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
Diffstat (limited to 'development')
-rw-r--r--development/swi-prolog/README11
-rw-r--r--development/swi-prolog/swi-prolog.SlackBuild36
-rw-r--r--development/swi-prolog/swi-prolog.info6
3 files changed, 40 insertions, 13 deletions
diff --git a/development/swi-prolog/README b/development/swi-prolog/README
index a6dbcc9b6e..ecd0b46689 100644
--- a/development/swi-prolog/README
+++ b/development/swi-prolog/README
@@ -1,10 +1,9 @@
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
+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, you need to build GMPlib (there is
-currently no build script at SlackBuilds.org from http://gmplib.org/
-and run the script with GMP=yes ./swi-prolog.SlackBuild
+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
diff --git a/development/swi-prolog/swi-prolog.SlackBuild b/development/swi-prolog/swi-prolog.SlackBuild
index f08bbbe161..09548b4096 100644
--- a/development/swi-prolog/swi-prolog.SlackBuild
+++ b/development/swi-prolog/swi-prolog.SlackBuild
@@ -3,7 +3,7 @@
# written by Florian Kanngiesser (florian.kanngiesser@googlemail.com)
PRGNAM=swi-prolog
-VERSION=${VERSION:-6.0.2}
+VERSION=${VERSION:-6.2.4}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -17,7 +17,7 @@ if [ -z "$ARCH" ]; then
esac
fi
-# GMP requires gmplib, which is not on SlackBuilds.org (see README).
+# GMP requires gmplib.
if [ "${GMP:-no}" = "no" ]; then
SETGMP="out"
fi
@@ -67,12 +67,40 @@ CXXFLAGS="$SLKCFLAGS" \
--localstatedir=/var \
--docdir=/usr/doc/$PRGNAM-$VERSION \
--mandir=/usr/man \
- --with-world \
--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 -
find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
diff --git a/development/swi-prolog/swi-prolog.info b/development/swi-prolog/swi-prolog.info
index e691734c30..c6f66f0717 100644
--- a/development/swi-prolog/swi-prolog.info
+++ b/development/swi-prolog/swi-prolog.info
@@ -1,8 +1,8 @@
PRGNAM="swi-prolog"
-VERSION="6.0.2"
+VERSION="6.2.4"
HOMEPAGE="http://www.swi-prolog.org/"
-DOWNLOAD="http://www.swi-prolog.org/download/stable/src/pl-6.0.2.tar.gz"
-MD5SUM="dcde1c50713317d0f5093dd2dedc1bd0"
+DOWNLOAD="http://www.swi-prolog.org/download/stable/src/pl-6.2.4.tar.gz"
+MD5SUM="0764f857e9f58d1c86fe60fca3a7992b"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""