diff options
Diffstat (limited to 'pcr/aspcud/PKGBUILD')
| -rw-r--r-- | pcr/aspcud/PKGBUILD | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/pcr/aspcud/PKGBUILD b/pcr/aspcud/PKGBUILD index b88357290..d8ebdca92 100644 --- a/pcr/aspcud/PKGBUILD +++ b/pcr/aspcud/PKGBUILD @@ -4,19 +4,26 @@ pkgname=aspcud groups=('potassco') pkgver=1.9.0 -pkgrel=1 +pkgrel=1.1 pkgdesc="Solver for package dependencies" -arch=('x86_64' 'i686' 'armv6h' 'armv7h') +arch=('x86_64' 'i686') url="http://potassco.sourceforge.net/" license=('GPL3') depends=('clasp>=2.1.3' 'gringo>=4.2.1') conflicts=('aspcud-svn') makedepends=('boost' 'cmake' 're2c') -source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") -md5sums=(9d014548e36480957cb97486e6312bea) +source=( + "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz" + "boost.patch" +) +md5sums=( + '9d014548e36480957cb97486e6312bea' + '6c2dda3cf7dd76bc41d1c8ed379dc5ed' +) build() { cd "$srcdir/$pkgname-$pkgver-source" + patch -p0 < "$srcdir/boost.patch" mkdir -p build/release cd build/release cmake \ |