diff options
Diffstat (limited to 'community-staging/swi-prolog/PKGBUILD')
| -rw-r--r-- | community-staging/swi-prolog/PKGBUILD | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/community-staging/swi-prolog/PKGBUILD b/community-staging/swi-prolog/PKGBUILD deleted file mode 100644 index 5a43c9910..000000000 --- a/community-staging/swi-prolog/PKGBUILD +++ /dev/null @@ -1,48 +0,0 @@ -# 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 -} |