snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 5 Actions Activity

swi-prolog: update to 8.0.0.

This commit is contained in:
maxice8 2019-01-14 13:40:11 -02:00 committed by maxice8
parent fb32c2092b
commit 612a9d9976
2 changed files with 13 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/shlibs
View File

@ -2695,7 +2695,7 @@ libKPropertyWidgets3.so.4 kproperty-3.1.0_1
libKPropertyCore3.so.4 kproperty-3.1.0_1
libKReport3.so.4 kreport-3.1.0_1
libbotan-2.so.8 botan-2.8.0_1
libswipl.so.7.6 swi-prolog-7.6.0_1
libswipl.so.8 swi-prolog-8.0.0_1
libpcre2-16.so.0 libpcre2-10.22_1
libpcre2-32.so.0 libpcre2-10.22_1
libpcre2-8.so.0 libpcre2-10.22_1

42
srcpkgs/swi-prolog/template
View File

@ -1,41 +1,23 @@
# Template file for 'swi-prolog'
pkgname=swi-prolog
version=7.6.4
revision=4
version=8.0.0
revision=1
wrksrc="swipl-${version}"
build_style=gnu-configure
build_style=cmake
configure_args="-DBUILD_TESTING=OFF"
hostmakedepends="pkg-config"
makedepends="gmp-devel libXft-devel libXinerama-devel libXpm-devel libXt-devel
libarchive-devel libjpeg-turbo-devel libressl-devel readline-devel
unixodbc-devel zlib-devel"
unixodbc-devel zlib-devel pcre-devel libyaml-devel"
short_desc="Comprehensive free Prolog environment"
maintainer="Leah Neukirchen <leah@vuxu.org>"
license="LGPL-2.1"
license="LGPL-2.1-or-later"
homepage="http://www.swi-prolog.org/"
_changelog="http://www.swi-prolog.org/ChangeLog?branch=stable"
changelog="http://www.swi-prolog.org/ChangeLog?branch=stable"
distfiles="http://www.swi-prolog.org/download/stable/src/swipl-${version}.tar.gz"
checksum=2d3d7aabd6d99a02dcc2da5d7604e3500329e541c6f857edc5aa06a3b1267891
nocross=yes
checksum=422b6985c6f646b5bb73b160e8c8cda74e892548beb6a672828e3689a20a6b32
nocross="uses TRY_RUN() to test features"
post_extract() {
case "$XBPS_TARGET_MACHINE" in
*-musl)
sed -i 's/unsigned int line/int line/' src/pl-thread.c
sed -i '1i#include <stdio.h>' src/pl-trace.c src/os/pl-fmt.c
esac
}
do_configure() {
case "$XBPS_TARGET_MACHINE" in
*-musl)
# Work around lack of qsort_r, needs executable stack.
CFLAGS+=" -DQSORT_WITH_NESTED_FUNCTIONS"
LDFLAGS+=" -Wl,-z,execstack"
esac
COFLAGS="${CFLAGS}" ./configure ${configure_args} \
--with-world
}
post_install() {
chmod +x "${DESTDIR}/usr/lib/swipl-${version}/library/dialect/sicstus/swipl-lfr.pl"
ln -sfr ${DESTDIR}/usr/lib/swipl-${version}/lib/*/libswipl.so.${version} \
${DESTDIR}/usr/lib/libswipl.so.${version%.*}
}
case "$XBPS_TARGET_MACHINE" in
i686*) broken="swipl-8.0.0/build/packages/ssl/mkcerts.pl:51: mkcerts:main openssl failed with status exit(1)" ;;
esac