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