diff options
author | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-12-18 21:17:06 -0300 |
---|---|---|
committer | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-12-18 21:17:06 -0300 |
commit | 02ffd41dca71e92f0105e37751e37c7332a9d447 (patch) | |
tree | 149d2e97e51dbab3f8f4dd6e4286dd5c42ba033d /community-staging/swi-prolog/PKGBUILD | |
parent | cc66c2ff866631ece4d699b041f83444988e8ad2 (diff) | |
parent | d8fd24a96ae712b2de3e9b05d937b135f41d016d (diff) |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
community-staging/kadu/PKGBUILD
extra/libgsf/PKGBUILD
libre/linux-libre/PKGBUILD
staging/kdelibs/PKGBUILD
testing/glibc/PKGBUILD
Diffstat (limited to 'community-staging/swi-prolog/PKGBUILD')
-rw-r--r-- | community-staging/swi-prolog/PKGBUILD | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/community-staging/swi-prolog/PKGBUILD b/community-staging/swi-prolog/PKGBUILD new file mode 100644 index 000000000..5a43c9910 --- /dev/null +++ b/community-staging/swi-prolog/PKGBUILD @@ -0,0 +1,48 @@ +# Maintainer: Thomas Dziedzic < gostrc at gmail > +# Contributor: John Proctor <jproctor@prium.net> +# Contributor: Juergen Hoetzel <juergen@archlinux.org> + +pkgname=swi-prolog +pkgver=5.10.5 +pkgrel=3 +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=('1ca45eddd3590fb525085761e75a4ebd') + +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 +} + +check() { + cd pl-${pkgver} + + make check || true +} + +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 +} |