diff options
Diffstat (limited to 'pcr')
-rw-r--r-- | pcr/clasp/PKGBUILD | 26 |
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}" -} |