51b04c1bf5
- 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.
12 lines
288 B
Diff
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
|