New toolchain

This commit is contained in:
Manuel 2012-11-10 10:25:44 +00:00
parent 53d53b9c44
commit 70182047d5

View File

@ -4,7 +4,7 @@
# maintainer: Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
pkgname=ppl
pkgver=0.12.1
pkgver=1.0
pkgrel=1
pkgdesc="A modern library for convex polyhedra and other numerical abstractions."
arch=('i686' 'x86_64')
@ -13,8 +13,8 @@ license=('GPL3')
depends=('gmp>=5.0')
options=('!docs' '!libtool')
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
md5sums=('cec8144f2072ac45a850214cca97d075'
'43eeeb147f9d8b3608aead63486c9545')
md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
'5f490df826c76fed296060ca8fca4eb5')
build() {
cd $srcdir/ppl-$pkgver