mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-04 20:29:09 +01:00
development/swi-prolog: Updated for version 6.2.4.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
This commit is contained in:
parent
38e1674389
commit
26cef08541
3 changed files with 40 additions and 13 deletions
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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=""
|
||||
|
|
Loading…
Reference in a new issue