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 | |
| download | aur-788a0943635e239f453439d1640fd4c056281017.tar.gz | |
Initial import
| -rw-r--r-- | .AURINFO | 22 | ||||
| -rw-r--r-- | .SRCINFO | 22 | ||||
| -rw-r--r-- | PKGBUILD | 36 |
3 files changed, 80 insertions, 0 deletions
diff --git a/.AURINFO b/.AURINFO new file mode 100644 index 000000000000..da84481fd4c2 --- /dev/null +++ b/.AURINFO @@ -0,0 +1,22 @@ +pkgbase = aspcud + pkgdesc = Solver for package dependencies + pkgver = 1.9.1 + pkgrel = 1 + url = http://potassco.sourceforge.net/ + arch = x86_64 + arch = i686 + arch = armv6h + arch = armv7h + groups = potassco + license = GPL3 + makedepends = boost + makedepends = cmake + makedepends = re2c + depends = clasp>=2.1.3 + depends = gringo>=4.2.1 + conflicts = aspcud-svn + source = http://downloads.sourceforge.net/project/potassco/aspcud/1.9.1/aspcud-1.9.1-source.tar.gz + sha1sums = db1ce85814699fb77aff41f4f6df0721d6851756 + +pkgname = aspcud + diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..da84481fd4c2 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = aspcud + pkgdesc = Solver for package dependencies + pkgver = 1.9.1 + pkgrel = 1 + url = http://potassco.sourceforge.net/ + arch = x86_64 + arch = i686 + arch = armv6h + arch = armv7h + groups = potassco + license = GPL3 + makedepends = boost + makedepends = cmake + makedepends = re2c + depends = clasp>=2.1.3 + depends = gringo>=4.2.1 + conflicts = aspcud-svn + source = http://downloads.sourceforge.net/project/potassco/aspcud/1.9.1/aspcud-1.9.1-source.tar.gz + sha1sums = db1ce85814699fb77aff41f4f6df0721d6851756 + +pkgname = aspcud + 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 +} |