diff options
Diffstat (limited to 'moveit-ros-benchmarks-fix-boost-progress.patch')
| -rw-r--r-- | moveit-ros-benchmarks-fix-boost-progress.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/moveit-ros-benchmarks-fix-boost-progress.patch b/moveit-ros-benchmarks-fix-boost-progress.patch new file mode 100644 index 0000000..90a830b --- /dev/null +++ b/moveit-ros-benchmarks-fix-boost-progress.patch @@ -0,0 +1,22 @@ +--- a/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp ++++ b/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp +@@ -40,11 +40,8 @@ + #include <tf2_eigen/tf2_eigen.hpp> + +-// TODO(henningkayser): Switch to boost/timer/progress_display.hpp with Boost 1.72 +-// boost/progress.hpp is deprecated and will be replaced by boost/timer/progress_display.hpp in Boost 1.72. +-// Until then we need to suppress the deprecation warning. +-#define BOOST_ALLOW_DEPRECATED_HEADERS ++// Use boost/timer/progress_display.hpp (available since Boost 1.72) ++// instead of the deprecated boost/progress.hpp + #include <boost/regex.hpp> +-#include <boost/progress.hpp> +-#undef BOOST_ALLOW_DEPRECATED_HEADERS ++#include <boost/timer/progress_display.hpp> + #include <boost/date_time/posix_time/posix_time.hpp> + #include <math.h> +@@ -784,3 +781,3 @@ + +- boost::progress_display progress(num_planners * runs, std::cout); ++ boost::timer::progress_display progress(num_planners * runs, std::cout); + |