diff options
-rw-r--r-- | pcr/aspcud/PKGBUILD | 37 |
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 -} |