[ompl] 03/04: Add patch

[Leopold Palomo-Avellaneda]

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

lepalom-guest pushed a commit to branch master
in repository ompl.

commit b21627f326effa7b4e4039bb8845bd73b123e059
Author: Leopold Palomo <leopold.palomo at upc.edu>
Date:   Sat Mar 1 00:19:20 2014 +0100

    Add patch
---
 debian/patches/gcc-4.8.patch | 12 ++++++++++++
 debian/patches/series        |  1 +
 2 files changed, 13 insertions(+)

diff --git a/debian/patches/gcc-4.8.patch b/debian/patches/gcc-4.8.patch
new file mode 100644
index 0000000..ce59687
--- /dev/null
+++ b/debian/patches/gcc-4.8.patch
@@ -0,0 +1,12 @@
+Index: ompl/src/ompl/base/src/PlannerTerminationCondition.cpp
+===================================================================
+--- ompl.orig/src/ompl/base/src/PlannerTerminationCondition.cpp	2014-03-01 00:00:10.327014100 +0100
++++ ompl/src/ompl/base/src/PlannerTerminationCondition.cpp	2014-03-01 00:00:59.453919091 +0100
+@@ -40,6 +40,7 @@
+ #include <boost/thread.hpp>
+ #include <boost/lambda/bind.hpp>
+ #include <utility>
++#include <cstdint>
+ 
+ namespace ompl
+ {
diff --git a/debian/patches/series b/debian/patches/series
index d278901..eb2c149 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 unmacx_header.patch
+gcc-4.8.patch

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