From 3c544c7adbc2e67a352f7b7aea9c0b469d01f1a3 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Thu, 1 Dec 2016 18:22:14 +0000
Subject: community/gringo: move from testing to community

---
 community/gringo/010_include_cmath.patch | 14 +++++++++++++
 community/gringo/APKBUILD                | 36 ++++++++++++++++++++++++++++++++
 2 files changed, 50 insertions(+)
 create mode 100644 community/gringo/010_include_cmath.patch
 create mode 100644 community/gringo/APKBUILD

(limited to 'community')

diff --git a/community/gringo/010_include_cmath.patch b/community/gringo/010_include_cmath.patch
new file mode 100644
index 0000000000..8628a1d914
--- /dev/null
+++ b/community/gringo/010_include_cmath.patch
@@ -0,0 +1,14 @@
+Include cmath header to get std::pow
+
+--- gringo-4.5.2-source.orig/libgringo/src/term.cc
++++ gringo-4.5.2-source/libgringo/src/term.cc
+@@ -21,6 +21,7 @@
+ #include "gringo/term.hh"
+ #include "gringo/logger.hh"
+ #include "gringo/graph.hh"
++#include <cmath>
+ 
+ namespace Gringo {
+ 
+
+
diff --git a/community/gringo/APKBUILD b/community/gringo/APKBUILD
new file mode 100644
index 0000000000..9ad25e4c00
--- /dev/null
+++ b/community/gringo/APKBUILD
@@ -0,0 +1,36 @@
+# 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
+	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
+}
+
+md5sums="4ea7868ea5bdc0441b652743308d55d9  gringo-4.5.2-source.tar.gz
+fd5de66ef290c02acc3de2e68e41c9e6  010_include_cmath.patch"
+sha256sums="36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65  gringo-4.5.2-source.tar.gz
+410c2676854f7e7348321394a168ad70c57b0390bf8deac60221e811f6104299  010_include_cmath.patch"
+sha512sums="36d484377a6d905b29a6ad2ecfa0729345c7a52a3dc140ba78003e45d811c4de740dafeab551ac034cb7d979b7cbd25ddf41f3e4881a661dcb8f152baa9957f7  gringo-4.5.2-source.tar.gz
+426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236  010_include_cmath.patch"
-- 
cgit v1.2.3