aboutsummaryrefslogtreecommitdiffstats
path: root/community/aspcud/APKBUILD
blob: fd5381a14dc6806b76516f71f1a0090732c2c978 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=aspcud
pkgver=1.9.1
pkgrel=0
pkgdesc="Package dependency solver"
url="http://potassco.sourceforge.net/"
arch="all"
license="LGPL3"
depends="boost gringo clasp"
makedepends="boost-dev cmake re2c"
install=""
subpackages="$pkgname-doc"
source="https://downloads.sourceforge.net/project/potassco/aspcud/${pkgver}/aspcud-${pkgver}-source.tar.gz"
builddir="$srcdir"/$pkgname-$pkgver-source

build() {
	cd "$builddir"
	mkdir build
	cd build
	cmake .. -DGRINGO_LOC=/usr/bin/gringo -DCLASP_LOC=/usr/bin/clasp -DCMAKE_INSTALL_PREFIX=/usr || return 1
	make
}

package() {
	cd "${builddir}/build"
	make DESTDIR="${pkgdir}" install
}

md5sums="35304fecd1f832c74f028c06067db39d  aspcud-1.9.1-source.tar.gz"
sha256sums="e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827  aspcud-1.9.1-source.tar.gz"
sha512sums="61519b19b8f3080079dcfcfa32e28dbd1ed29de0012ac9753f8be2c08a087a2f1a6778a6ec2bdc208ddfec5f1a07cef339b4358e51f1714129c9d219989837af  aspcud-1.9.1-source.tar.gz"