From ea720bbf595d48ea610cd32d2064fb0ecf98aa78 Mon Sep 17 00:00:00 2001 From: "Juan C. Santamaria" Date: Wed, 20 Feb 2019 13:23:21 -0500 Subject: [ompl] Add new port (#5350) * [ompl] Add new port Add new port for the https://github.com/ompl/ompl library * [ompl] Disable extra components * [ompl] Disable buggy CMake test --- ports/ompl/CONTROL | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 ports/ompl/CONTROL (limited to 'ports/ompl/CONTROL') diff --git a/ports/ompl/CONTROL b/ports/ompl/CONTROL new file mode 100644 index 000000000..082853664 --- /dev/null +++ b/ports/ompl/CONTROL @@ -0,0 +1,4 @@ +Source: ompl +Version: 1.4.1-2 +Description: The Open Motion Planning Library, consists of many state-of-the-art sampling-based motion planning algorithms +Build-Depends: boost-disjoint-sets, boost-dynamic-bitset, boost-filesystem, boost-graph, boost-odeint, boost-program-options, boost-serialization, boost-system, boost-test, boost-ublas, eigen3 \ No newline at end of file -- cgit v1.2.3