Advertisement
Guest User

barvinok 0.37-2 PKGBUILD

a guest
May 13th, 2015
233
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 1.09 KB | None | 0 0
  1. # Maintainer: Vivien Maisonneuve <v dot maisonneuve at gmail dot com>
  2. # Category: science
  3. pkgname='barvinok'
  4. pkgver='0.37'
  5. pkgrel=2
  6. pkgdesc='A library for counting the number of integer points in parametric and non-parametric polytopes'
  7. arch=('i686' 'x86_64')
  8. url='http://freecode.com/projects/barvinok'
  9. license=('GPL')
  10. provides=("$pkgname=$pkgver")
  11. depends=('ntl' 'isl' 'polylib' 'glpk<=4.47')
  12. source=("http://barvinok.gforge.inria.fr/$pkgname-$pkgver.tar.xz")
  13. md5sums=('e88db73831f0797738b25f6da1b6ebff')
  14.  
  15. prepare() {
  16.     cd "$srcdir/$pkgname-$pkgver"
  17.  
  18.     # hack based on https://github.com/Singular/Sources/commit/de688442dfe449992dc14a000bca0691ecc7e106
  19.     sed -i -e 's/(p))\[1\]/(p.rep))\[1\]/g' conversion.cc
  20.     sed -i -e 's/(p)) + 2/(p.rep)) + 2/g' conversion.cc
  21. }
  22.  
  23. build() {
  24.     cd "$srcdir/$pkgname-$pkgver"
  25.     env CPPFLAGS="-DNTL_STD_CXX" ./configure --prefix=/usr --with-isl=system --with-polylib=system
  26.     make
  27. }
  28.  
  29. check() {
  30.     cd "$srcdir/$pkgname-$pkgver"
  31.     make check
  32. }
  33.  
  34. package() {
  35.     cd "$srcdir/$pkgname-$pkgver"
  36.     make prefix="$pkgdir"/usr install
  37. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement