diff options
| author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:12:44 +0200 |
|---|---|---|
| committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:12:44 +0200 |
| commit | fa3df7fc1c9020380bec148853bc1b290a69a3e6 (patch) | |
| tree | 5f5b4b8c8b1c382f146a88a8adc5b31e9390fac5 /pcr/aspcud | |
| parent | 15980cee9713044fe702c687db6a81db96511cf3 (diff) | |
| download | abslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.tar.gz abslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.tar.bz2 abslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.zip | |
aspcud
Diffstat (limited to 'pcr/aspcud')
| -rw-r--r-- | pcr/aspcud/PKGBUILD | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/pcr/aspcud/PKGBUILD b/pcr/aspcud/PKGBUILD new file mode 100644 index 000000000..064a75ea9 --- /dev/null +++ b/pcr/aspcud/PKGBUILD @@ -0,0 +1,34 @@ +# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org> +# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp> + +pkgname=aspcud +groups=('potassco') +pkgver=1.9.0 +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") + +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 +} |