diff options
Diffstat (limited to 'development/swi-prolog/swi-prolog.SlackBuild')
| -rw-r--r-- | development/swi-prolog/swi-prolog.SlackBuild | 36 |
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 |