[gringo] 01/05: fix FTBFS with g++ 5.3.1 (Closes: #822383)

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit d4258aac7f20f452b17bb39df891cf747e1f9b46
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun May 1 07:30:12 2016 +0200

    fix FTBFS with g++ 5.3.1 (Closes: #822383)
    
    gringo-include-math.patch fixes FTBFS with g++ 5.3.1: error: 'pow' is
    not a member of 'std'.
    
    Debian bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822383
---
 debian/patches/gringo-include-math.patch | 17 +++++++++++++++++
 debian/patches/series                    |  1 +
 2 files changed, 18 insertions(+)

diff --git a/debian/patches/gringo-include-math.patch b/debian/patches/gringo-include-math.patch
new file mode 100644
index 0000000..708328a
--- /dev/null
+++ b/debian/patches/gringo-include-math.patch
@@ -0,0 +1,17 @@
+Author: Roland Kaminski <kaminski at cs.uni-potsdam.de>
+Description: fixes FTBFS: error: 'pow' is not a member of 'std'
+Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822383
+Bug: https://sourceforge.net/p/potassco/bugs/118/
+Forwarded: not-needed
+Index: gringo-git-gbp/libgringo/src/term.cc
+===================================================================
+--- gringo-git-gbp.orig/libgringo/src/term.cc
++++ gringo-git-gbp/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/debian/patches/series b/debian/patches/series
index 95843bd..338fbf5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 gringo-manpages.patch
+gringo-include-math.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git