diff options
Diffstat (limited to 'pcr')
| -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 +} |