Tue Apr 5 14:26:38 UTC 2011

1 files changed, 42 insertions, 0 deletions

diff --git a/community/swi-prolog/PKGBUILD b/community/swi-prolog/PKGBUILD
new file mode 100644
index 000000000..007441a52
--- /dev/null
+++ b/community/swi-prolog/PKGBUILD
@@ -0,0 +1,42 @@
+# Maintainer: Thomas Dziedzic < gostrc at gmail >
+# Contributor: John Proctor <jproctor@prium.net>
+# Contributor: Juergen Hoetzel <juergen@archlinux.org>
+
+pkgname=swi-prolog
+pkgver=5.10.2
+pkgrel=2
+pkgdesc='Prolog environment'
+arch=('i686' 'x86_64')
+url='http://www.swi-prolog.org/'
+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://www.swi-prolog.org/download/stable/src/pl-${pkgver}.tar.gz")
+md5sums=('7973bcfd3854ae0cb647cc62f2faabcf')
+
+build() {
+  cd pl-${pkgver}
+
+  # enable shared because x86 doesn't build with shared libs, upstream made it intentional...
+  ./configure \
+    --prefix=/usr \
+    --with-world \
+    --enable-shared
+
+  make
+}
+
+package() {
+  cd pl-${pkgver}
+
+  make DESTDIR=${pkgdir} install
+
+  # fix https://bugs.archlinux.org/task/20873
+  chmod +x ${pkgdir}/usr/lib/swipl-${pkgver}/library/dialect/sicstus/swipl-lfr.pl
+}