summaryrefslogtreecommitdiff
path: root/community/swi-prolog
diff options
context:
space:
mode:
Diffstat (limited to 'community/swi-prolog')
-rw-r--r--community/swi-prolog/PKGBUILD42
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
+}