diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:21:39 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:21:39 -0500 |
| commit | 17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (patch) | |
| tree | bf0e4240597b87dcf7af6bf9ad8210408f4bed71 /pcr/clasp | |
| parent | efc9873f05f9caf4641eb496ae418317a970527c (diff) | |
| download | abslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.tar.gz abslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.tar.bz2 abslibre-17f6babdf3869bc0e94ea5222f6829e9a0559bf9.zip | |
Removing clasp: This package is in [community] repo
Diffstat (limited to 'pcr/clasp')
| -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}" -} |