nixpkgs/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch

--- gringo/libgringo/src/term.cc~	2016-07-12 23:56:10.593577749 -0400
+++ gringo/libgringo/src/term.cc	2016-07-12 23:52:35.169968338 -0400
@@ -22,6 +22,8 @@
 #include "gringo/logger.hh"
 #include "gringo/graph.hh"
 
+#include <cmath>
+
 namespace Gringo {
 
 // {{{ definition of Defines
Revert opam solver dependency changes - Reverts the change to the monolithic `clingo` package in favor of the previous split between `clasp` and `gringo` since `opam` works with the latter but not (for some reason) with the former. - Adds explicit non-support for Python in `gringo`. This is not necessary for opam. - Forces usage of the `std::to_string` functions in the C++ standard library instead of the incomplete alternative implementations inside of the `gringo` sources. 2016-11-12 07:26:30 -05:00			`--- gringo/libgringo/src/term.cc~ 2016-07-12 23:56:10.593577749 -0400`
			`+++ gringo/libgringo/src/term.cc 2016-07-12 23:52:35.169968338 -0400`
			`@@ -22,6 +22,8 @@`
			`#include "gringo/logger.hh"`
			`#include "gringo/graph.hh"`

			`+#include <cmath>`
			`+`
			`namespace Gringo {`

			`// {{{ definition of Defines`