Advertisement
Guest User

swi-prolog-6.2.2 PKGBUILD

a guest
Nov 15th, 2012
48
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.35 KB | None | 0 0
  1. # Contributor: Thomas Dziedzic < gostrc at gmail >
  2. # Contributor: John Proctor <jproctor@prium.net>
  3. # Contributor: Juergen Hoetzel <juergen@archlinux.org>
  4. # Maintainer: Jachym Barvinek <jachymb@gmail.com>
  5.  
  6. pkgname=swi-prolog
  7. pkgver=6.2.2
  8. pkgrel=1
  9. pkgdesc='Prolog environment'
  10. arch=('i686' 'x86_64')
  11. url='http://www.swi-prolog.org/'
  12. license=('GPL' 'LGPL')
  13. depends=('gmp' 'readline' 'openssl')
  14. makedepends=('libxft' 'libjpeg' 'unixodbc' 'libxpm' 'libxinerama')
  15. optdepends=('unixodbc: for using the odbc4pl library'
  16. 'libjpeg: for using the pl2xpce library'
  17. 'libxpm: for using the pl2xpce library'
  18. 'libxinerama: for using the pl2xpce library'
  19. 'libxft: for using the pl2xpce library')
  20. options=('!makeflags')
  21. source=("http://www.swi-prolog.org/download/stable/src/pl-${pkgver}.tar.gz")
  22. md5sums=('99f5326f76e7047a7d6b99ae6e704ba6')
  23. build() {
  24. cd pl-${pkgver}
  25.  
  26. # enable shared because x86 doesn't build with shared libs, upstream made it intentional...
  27. ./configure \
  28. --prefix=/usr \
  29. --with-world \
  30. --enable-shared
  31.  
  32. make
  33. }
  34.  
  35. check() {
  36. cd pl-${pkgver}
  37.  
  38. make check || true
  39. }
  40.  
  41. package() {
  42. cd pl-${pkgver}
  43.  
  44. make DESTDIR=${pkgdir} install
  45.  
  46. # fix https://bugs.archlinux.org/task/20873
  47. chmod +x ${pkgdir}/usr/lib/swipl-${pkgver}/library/dialect/sicstus/swipl-lfr.pl
  48. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement