Date: Sunday, November 27, 2016 @ 12:28:05 Author: arodseth Revision: 197014
Move from AUR, needed by opam Added: aspcud/ aspcud/repos/ aspcud/repos/community-i686/ aspcud/repos/community-x86_64/ aspcud/trunk/ aspcud/trunk/PKGBUILD ----------+ PKGBUILD | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) Added: aspcud/trunk/PKGBUILD =================================================================== --- aspcud/trunk/PKGBUILD (rev 0) +++ aspcud/trunk/PKGBUILD 2016-11-27 12:28:05 UTC (rev 197014) @@ -0,0 +1,36 @@ +# $Id$ +# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> +# Contributor: Vincent Bernardoff <v...@luminar.eu.org> + +pkgname=aspcud +pkgver=1.9.1 +pkgrel=1 +pkgdesc='Solver for package dependencies' +arch=('x86_64' 'i686') +url='http://potassco.sourceforge.net/' +license=('GPL3') +depends=('clasp' 'clingo') +makedepends=('boost' 'cmake' 're2c' 'ninja') +source=("http://downloads.sourceforge.net/project/potassco/$pkgname/$pkgver/$pkgname-$pkgver-source.tar.gz") +sha256sums=('e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827') + +build() { + cd "$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 ../.. \ + -GNinja + ninja +} + +package() { + DESTDIR="$pkgdir" ninja -C "$pkgname-$pkgver-source/build/release" install +} + +# vim:set ts=2 sw=2 et: Property changes on: aspcud/trunk/PKGBUILD ___________________________________________________________________ Added: svn:keywords ## -0,0 +1 ## +Id \ No newline at end of property