diff options
author | Vincent Bernardoff | 2015-06-27 09:50:50 +0200 |
---|---|---|
committer | Vincent Bernardoff | 2015-06-27 09:50:50 +0200 |
commit | 788a0943635e239f453439d1640fd4c056281017 (patch) | |
tree | a94f76009d1e2b84c87d6bd353829e183d9f45cc /PKGBUILD | |
download | aur-788a0943635e239f453439d1640fd4c056281017.tar.gz |
Initial import
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b5780a03c1d0 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,36 @@ +# Maintainer: Vincent Bernardoff <vb@luminar.eu.org> + +pkgname=aspcud +groups=('potassco') +pkgver=1.9.1 +pkgrel=1 +pkgdesc="Solver for package dependencies" +arch=('x86_64' 'i686' 'armv6h' 'armv7h') +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" +) +sha1sums=(db1ce85814699fb77aff41f4f6df0721d6851756) + +build() { + cd "$srcdir/$pkgname-$pkgver-source" + mkdir -p build/release + cd build/release + cmake \ + -DCMAKE_INSTALL_PREFIX:PATH=/usr \ + -DCUDF2LP_LOC=cudf2lp \ + -DGRINGO_LOC=gringo \ + -DCLASP_LOC=clasp \ + -DCMAKE_BUILD_TYPE=Release ../.. + make +} + +package() { + cd "$srcdir/$pkgname-$pkgver-source" + cd build/release + make DESTDIR=${pkgdir} install +} |