Removing clasp: This package is in [community] repo

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}"
-}