diff options
| author | Vincent Bernardoff | 2015-06-27 09:51:07 +0200 |
|---|---|---|
| committer | Vincent Bernardoff | 2015-06-27 09:51:07 +0200 |
| commit | d424fdad35819de9339a349dce1bf9b744a5568b (patch) | |
| tree | db3e13c7b354f1196b9a6579d1c86a0ca3435cf7 | |
| download | aur-d424fdad35819de9339a349dce1bf9b744a5568b.tar.gz | |
Initial import
| -rw-r--r-- | .AURINFO | 16 | ||||
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 25 |
3 files changed, 57 insertions, 0 deletions
diff --git a/.AURINFO b/.AURINFO new file mode 100644 index 000000000000..dc2d1cba95f4 --- /dev/null +++ b/.AURINFO @@ -0,0 +1,16 @@ +pkgbase = clasp + pkgdesc = A conflict-driven nogood learning answer set solver. + pkgver = 3.1.2 + pkgrel = 1 + url = http://potassco.sourceforge.net/ + arch = x86_64 + arch = i686 + arch = armv6h + arch = armv7h + groups = potassco + license = GPL3 + source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz + sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba + +pkgname = clasp + diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..dc2d1cba95f4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = clasp + pkgdesc = A conflict-driven nogood learning answer set solver. + pkgver = 3.1.2 + pkgrel = 1 + url = http://potassco.sourceforge.net/ + arch = x86_64 + arch = i686 + arch = armv6h + arch = armv7h + groups = potassco + license = GPL3 + source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz + sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba + +pkgname = clasp + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c072f2423926 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,25 @@ +# Maintainer: Vincent Bernardoff <vb@luminar.eu.org> + +pkgname=clasp +groups=('potassco') +pkgver=3.1.2 +pkgrel=1 +pkgdesc="A conflict-driven nogood learning answer set solver." +arch=('x86_64' 'i686' 'armv6h' 'armv7h') +url="http://potassco.sourceforge.net/" +license=('GPL3') +depends=() +source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") +sha1sums=(bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba) + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + ./configure.sh --prefix='/usr' + cd build/release + make +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}/build/release/bin" + install -D "${pkgname}" "${pkgdir}/usr/bin/${pkgname}" +} |