nixpkgs/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch
Jesse Haber-Kucharsky 51b04c1bf5 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 08:39:52 -05:00

12 lines
288 B
Diff

--- 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