Date: Saturday, July 10, 2010 @ 01:12:09 Author: eric Revision: 85196
upgpkg: swi-prolog 5.10.0-1 Upstream update, Fixed license, Added optdepends Modified: swi-prolog/trunk/PKGBUILD Deleted: swi-prolog/trunk/gcc4.3.patch --------------+ PKGBUILD | 39 ++++++++++++++++++++------------------- gcc4.3.patch | 20 -------------------- 2 files changed, 20 insertions(+), 39 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2010-07-10 01:14:05 UTC (rev 85195) +++ PKGBUILD 2010-07-10 05:12:09 UTC (rev 85196) @@ -4,30 +4,31 @@ # Contributor: Juergen Hoetzel <[email protected]> pkgname=swi-prolog -pkgver=5.6.64 -pkgrel=6 +pkgver=5.10.0 +pkgrel=1 pkgdesc="Prolog environment" arch=('i686' 'x86_64') url="http://www.swi-prolog.org/"; -depends=('gmp' 'readline') -license=('GPL') -makedepends=('libxft' 'libjpeg' 'unixodbc' 'openssl' 'libxpm' 'libxinerama') +license=('GPL' 'LGPL') +depends=('gmp' 'readline' 'openssl') +makedepends=('libxft' 'libjpeg' 'unixodbc' 'libxpm' 'libxinerama') +optdepends=('unixodbc: for using the odbc4pl library' \ + 'libjpeg: for using the pl2xpce library' \ + 'libxpm: for using the pl2xpce library' \ + 'libxinerama: for using the pl2xpce library' \ + 'libxft: for using the pl2xpce library') options=('!makeflags') -source=(http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-$pkgver.tar.gz - 'gcc4.3.patch') -md5sums=('2f06f64007fdac076a277ee4a8c53274' - '33a4ba4cd4fa4ba1b0ad0b2c6355de52') +source=(http://www.swi-prolog.org/download/stable/src/pl-${pkgver}.tar.gz) +md5sums=('ebff502a0faa40e584255b6ddb163da9') +sha1sums=('0115ec399b59848879e9053fbefeec209477f7c7') build() { - cd $srcdir/pl-$pkgver - sed '/LD_RUN_PATH/d' -i packages/xpce/pl/src/Makefile + cd "${srcdir}/pl-${pkgver}" + ./configure --prefix=/usr --with-world + make +} - patch -Np1 -i $srcdir/gcc4.3.patch - - ./configure --prefix=/usr \ - --with-world \ - --enable-gmp - make DESTDIR=$pkgdir world install || return 1 - - rm -rf $pkgdir/usr/man/man3 +package() { + cd "${srcdir}/pl-${pkgver}" + make DESTDIR="${pkgdir}" install } Deleted: gcc4.3.patch =================================================================== --- gcc4.3.patch 2010-07-10 01:14:05 UTC (rev 85195) +++ gcc4.3.patch 2010-07-10 05:12:09 UTC (rev 85196) @@ -1,20 +0,0 @@ ---- pl-5.6.64.orig/src/mkvmi.c 2009-01-23 16:50:02.000000000 -0200 -+++ pl-5.6.64/src/mkvmi.c 2009-06-03 16:43:48.000000000 -0300 -@@ -97,7 +97,7 @@ - return NULL; - } - -- -+/* - static char * - strndup(const char *in, size_t len) - { char *s = malloc(len+1); -@@ -107,7 +107,7 @@ - - return s; - } -- -+*/ - - static int - load_vmis(const char *file)
