diff options
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/gringo/APKBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/testing/gringo/APKBUILD b/testing/gringo/APKBUILD new file mode 100644 index 0000000000..6c543a5168 --- /dev/null +++ b/testing/gringo/APKBUILD @@ -0,0 +1,31 @@ +# Contributor: Anil Madhavapeddy <anil@recoil.org> +# Maintainer: Anil Madhavapeddy <anil@recoil.org> +pkgname=gringo +pkgver=4.5.2 +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" +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 +} + +md5sums="4ea7868ea5bdc0441b652743308d55d9 gringo-4.5.2-source.tar.gz" +sha256sums="36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65 gringo-4.5.2-source.tar.gz" +sha512sums="36d484377a6d905b29a6ad2ecfa0729345c7a52a3dc140ba78003e45d811c4de740dafeab551ac034cb7d979b7cbd25ddf41f3e4881a661dcb8f152baa9957f7 gringo-4.5.2-source.tar.gz" |