diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:19:38 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:19:38 -0500 |
| commit | efc9873f05f9caf4641eb496ae418317a970527c (patch) | |
| tree | b0fc415bbf111acc319835bf765485e13875a8c4 /pcr/aspcud | |
| parent | bc75cff76d0372d12a4e3be86d8e59ecd7718df9 (diff) | |
Removing aspcud: This package is in [community] repo
Diffstat (limited to 'pcr/aspcud')
| -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 -} |