mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:36:27 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/tools/misc/gringo/gringo-4.5.4-to_string.patch

12 lines
386 B
Diff
Raw Normal View History

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 12:26:30 +00:00
--- gringo/libgringo/gringo/bug.hh~ 2014-03-10 12:19:26.000000000 -0400
+++ gringo/libgringo/gringo/bug.hh 2016-11-12 07:51:55.288563663 -0500
@@ -32,7 +32,7 @@
#define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) std::make_move_iterator(_Iter)
#define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) std::make_move_iterator(_Iter)
-#ifdef MISSING_STD_TO_STRING
+#if 0
#include <sstream>
Copy permalink