diff options
| author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 22:52:18 +0200 |
|---|---|---|
| committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 22:52:18 +0200 |
| commit | 00b217be93876e0d14b42cdd2e957ff9c4d252af (patch) | |
| tree | ba7d3fde1a5088566b87945ce2eee9ebf967e4b8 /pcr/clasp | |
| parent | 1b9c8954e492b233f0127f40d7f8b33ed78697a4 (diff) | |
| download | abslibre-00b217be93876e0d14b42cdd2e957ff9c4d252af.tar.gz abslibre-00b217be93876e0d14b42cdd2e957ff9c4d252af.tar.bz2 abslibre-00b217be93876e0d14b42cdd2e957ff9c4d252af.zip | |
clasp
Diffstat (limited to 'pcr/clasp')
| -rw-r--r-- | pcr/clasp/PKGBUILD | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pcr/clasp/PKGBUILD b/pcr/clasp/PKGBUILD new file mode 100644 index 000000000..2367bcdfc --- /dev/null +++ b/pcr/clasp/PKGBUILD @@ -0,0 +1,25 @@ +# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org> +# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp> + +pkgname=clasp +groups=('potassco') +pkgver=3.0.3 +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") + +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}" +} |