summaryrefslogtreecommitdiff
path: root/community/swi-prolog
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2013-12-27 23:55:53 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2013-12-27 23:55:53 +0000
commit65eeff79fff8a1bfdf67ca51d147384f46f4d5c0 (patch)
treefbfdff322b28d9a3c37e6e31c94caf1d8e48dac1 /community/swi-prolog
parentd53c44f055929b18d7d1b25f8367ee5836c435fc (diff)
Fri Dec 27 23:54:04 UTC 2013
Diffstat (limited to 'community/swi-prolog')
-rw-r--r--community/swi-prolog/PKGBUILD44
1 files changed, 44 insertions, 0 deletions
diff --git a/community/swi-prolog/PKGBUILD b/community/swi-prolog/PKGBUILD
new file mode 100644
index 000000000..967ce2907
--- /dev/null
+++ b/community/swi-prolog/PKGBUILD
@@ -0,0 +1,44 @@
+# $Id: PKGBUILD 102427 2013-12-10 21:34:55Z arodseth $
+# Maintainer: Alexander Rødseth <rodseth@gmail.com>
+# Contributor: Jachym Barvinek <jachymb@gmail.com>
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: John Proctor <jproctor@prium.net>
+# Contributor: Juergen Hoetzel <juergen@archlinux.org>
+
+pkgname=swi-prolog
+pkgver=6.6.0
+pkgrel=1
+pkgdesc='Prolog environment'
+arch=('x86_64' 'i686')
+url='http://www.swi-prolog.org/'
+license=('GPL' 'LGPL')
+depends=('gmp' 'readline' 'openssl' 'libarchive')
+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")
+sha256sums=('b85ac27a8afeb29640fe2b98c088e5f9c753adacb20114f8c10ba4835b26f9cd')
+
+build() {
+ cd "pl-$pkgver"
+
+ ./configure --prefix=/usr --with-world
+ make
+}
+
+check() {
+ make -C "pl-$pkgver" check || true
+}
+
+package() {
+ make -C "pl-$pkgver" DESTDIR="$pkgdir" install
+
+ # fix https://bugs.archlinux.org/task/20873
+ chmod +x "$pkgdir/usr/lib/swipl-$pkgver/library/dialect/sicstus/swipl-lfr.pl"
+}
+
+# vim:set ts=2 sw=2 et: