summaryrefslogtreecommitdiff
path: root/development/swi-prolog/swi-prolog.SlackBuild
diff options
context:
space:
mode:
Diffstat (limited to 'development/swi-prolog/swi-prolog.SlackBuild')
-rw-r--r--development/swi-prolog/swi-prolog.SlackBuild36
1 files changed, 32 insertions, 4 deletions
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