1 files changed, 37 insertions, 0 deletions
diff --git a/misc/ompl/files/patch-CMakeLists.txt b/misc/ompl/files/patch-CMakeLists.txt
new file mode 100644
index 000000000000..2e295a58df47
--- /dev/null
+++ b/misc/ompl/files/patch-CMakeLists.txt
@@ -0,0 +1,37 @@
+--- CMakeLists.txt.orig	2018-06-24 21:58:25 UTC
++++ CMakeLists.txt
+@@ -97,8 +97,8 @@ enable_testing()
+ set_package_properties(Python PROPERTIES
+     URL "http://python.org"
+     PURPOSE "Used for python bindings.")
+-find_package(Python QUIET)
+-find_boost_python()
++#find_package(Python QUIET)
++#find_boost_python()
+ 
+ if(PYTHON_FOUND)
+     set_package_properties(pypy PROPERTIES
+@@ -151,7 +151,7 @@ endif()
+ set_package_properties(spot PROPERTIES
+     URL "http://spot.lrde.epita.fr"
+     PURPOSE "Used for constructing finite automata from LTL formulae.")
+-find_package(spot)
++#find_package(spot)
+ if (SPOT_FOUND)
+     set(OMPL_HAVE_SPOT 1)
+     include_directories("${SPOT_INCLUDE_DIRS}")
+@@ -171,12 +171,12 @@ if(PYTHON_FOUND AND NOT Boost_VERSION VE
+ endif()
+ 
+ # R is needed for running Planner Arena locally
+-find_program(R_EXEC R)
++#find_program(R_EXEC R)
+ 
+ add_subdirectory(py-bindings)
+ add_subdirectory(src)
+ add_subdirectory(tests)
+-add_subdirectory(demos)
++#add_subdirectory(demos)
+ add_subdirectory(scripts)
+ add_subdirectory(doc)
+