blob: 042d6209aba6830b44f2fc173ff9cb6513177cd8 (
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=gringo
pkgver=4.5.3
pkgrel=0
pkgdesc="Grounder to translate user-provided logic programs"
url="http://potassco.sourceforge.net/"
arch="all"
license="LGPL3"
depends=""
makedepends="re2c scons bison"
install=""
subpackages=""
source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz
010_include_cmath.patch
"
builddir="$srcdir"/$pkgname-$pkgver-source
build() {
cd "$builddir"
scons --build-dir=release gringo clingo reify || return 1
}
package() {
cd "$builddir"
for i in gringo clingo reify; do
install -Dm755 "build/release/$i" "$pkgdir/usr/bin/$i" || return 1
done
}
sha512sums="b3e00cd2adc359874aa7c39afa01617dccf4e1600055004cacd094e1a6fb705a403e77a5801bb12f9f9a873a11692b6e5b9228e554d30509c0f60af24410215f gringo-4.5.3-source.tar.gz
426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236 010_include_cmath.patch"
|
