diff options
Diffstat (limited to 'ports/ompl/001-disable-extra-components.patch')
| -rw-r--r-- | ports/ompl/001-disable-extra-components.patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/ports/ompl/001-disable-extra-components.patch b/ports/ompl/001-disable-extra-components.patch deleted file mode 100644 index b1bb8bc39..000000000 --- a/ports/ompl/001-disable-extra-components.patch +++ /dev/null @@ -1,23 +0,0 @@ -diff --git a/CMakeLists.txt b/CMakeLists.txt -index fbde81b..da11bfe 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -173,12 +173,13 @@ endif() - # R is needed for running Planner Arena locally - find_program(R_EXEC R) - --add_subdirectory(py-bindings) -+# VCPKG PATCH: Disable extra components from library. -+# add_subdirectory(py-bindings) - add_subdirectory(src) --add_subdirectory(tests) --add_subdirectory(demos) --add_subdirectory(scripts) --add_subdirectory(doc) -+# add_subdirectory(tests) -+# add_subdirectory(demos) -+# add_subdirectory(scripts) -+# add_subdirectory(doc) - - target_link_flags(ompl) - set(PKG_NAME "ompl") |