summaryrefslogtreecommitdiff
path: root/pcr/aspcud/PKGBUILD
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:19:38 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:19:38 -0500
commitefc9873f05f9caf4641eb496ae418317a970527c (patch)
treeb0fc415bbf111acc319835bf765485e13875a8c4 /pcr/aspcud/PKGBUILD
parentbc75cff76d0372d12a4e3be86d8e59ecd7718df9 (diff)
downloadabslibre-efc9873f05f9caf4641eb496ae418317a970527c.tar.gz
abslibre-efc9873f05f9caf4641eb496ae418317a970527c.tar.bz2
abslibre-efc9873f05f9caf4641eb496ae418317a970527c.zip
Removing aspcud: This package is in [community] repo
Diffstat (limited to 'pcr/aspcud/PKGBUILD')
-rw-r--r--pcr/aspcud/PKGBUILD37
1 files changed, 0 insertions, 37 deletions
diff --git a/pcr/aspcud/PKGBUILD b/pcr/aspcud/PKGBUILD
deleted file mode 100644
index e7954b664..000000000
--- a/pcr/aspcud/PKGBUILD
+++ /dev/null
@@ -1,37 +0,0 @@
-# Maintainer (Arch): Vincent Bernardoff <vb@luminar.eu.org>
-# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe>
-
-pkgname=aspcud
-groups=('potassco')
-pkgver=1.9.1
-pkgrel=1
-pkgdesc="Solver for package dependencies"
-arch=('x86_64' 'i686' 'armv6h' 'armv7h')
-url="http://potassco.sourceforge.net/"
-license=('GPL3')
-depends=('clasp>=2.1.3' 'gringo>=4.2.1')
-conflicts=('aspcud-svn')
-makedepends=('boost' 'cmake' 're2c')
-source=(
- "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz"
-)
-sha1sums=(db1ce85814699fb77aff41f4f6df0721d6851756)
-
-build() {
- cd "$srcdir/$pkgname-$pkgver-source"
- mkdir -p build/release
- cd build/release
- cmake \
- -DCMAKE_INSTALL_PREFIX:PATH=/usr \
- -DCUDF2LP_LOC=cudf2lp \
- -DGRINGO_LOC=gringo \
- -DCLASP_LOC=clasp \
- -DCMAKE_BUILD_TYPE=Release ../..
- make
-}
-
-package() {
- cd "$srcdir/$pkgname-$pkgver-source"
- cd build/release
- make DESTDIR=${pkgdir} install
-}