summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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
-}