summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:21:39 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:21:39 -0500
commit17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (patch)
treebf0e4240597b87dcf7af6bf9ad8210408f4bed71
parentefc9873f05f9caf4641eb496ae418317a970527c (diff)
downloadabslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.tar.gz
abslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.tar.bz2
abslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.zip
Removing clasp: This package is in [community] repo
-rw-r--r--pcr/clasp/PKGBUILD26
1 files changed, 0 insertions, 26 deletions
diff --git a/pcr/clasp/PKGBUILD b/pcr/clasp/PKGBUILD
deleted file mode 100644
index f80c15f77..000000000
--- a/pcr/clasp/PKGBUILD
+++ /dev/null
@@ -1,26 +0,0 @@
-# Maintainer (Arch): Vincent Bernardoff <vb@luminar.eu.org>
-# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe>
-
-pkgname=clasp
-groups=('potassco')
-pkgver=3.2.0
-pkgrel=1
-pkgdesc="A conflict-driven nogood learning answer set solver."
-arch=('x86_64' 'i686')
-url="http://potassco.sourceforge.net/"
-license=('GPL3')
-makedepends=('clang')
-source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
-sha1sums=(ff29d1c506fe6545a7b70b0fd3f4d4e707e2315a)
-
-build() {
- cd "${srcdir}/${pkgname}-${pkgver}"
- ./configure.sh --prefix='/usr' CXX=clang++
- cd build/release
- make
-}
-
-package() {
- cd "${srcdir}/${pkgname}-${pkgver}/build/release/bin"
- install -D "${pkgname}" "${pkgdir}/usr/bin/${pkgname}"
-}