diff options
Diffstat (limited to 'community/swi-prolog/PKGBUILD')
| -rw-r--r-- | community/swi-prolog/PKGBUILD | 42 |
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 +} |