diff options
| author | Thad House <thadhouse1@gmail.com> | 2019-05-31 13:49:13 -0700 |
|---|---|---|
| committer | Thad House <thadhouse1@gmail.com> | 2019-05-31 13:49:13 -0700 |
| commit | 788af2a75cfddbb9ef4e4217f4c0b506d25f2f3b (patch) | |
| tree | 173ade0e6960917458afe9dd9fb0c3c2b7f32051 /ports/ompl/001-disable-extra-components.patch | |
| parent | f483ae4c7fd04eed671a1de595374f84175311e9 (diff) | |
| parent | 26a9338c5055193915290527eacb37f2ac7fdcb8 (diff) | |
| download | vcpkg-788af2a75cfddbb9ef4e4217f4c0b506d25f2f3b.tar.gz vcpkg-788af2a75cfddbb9ef4e4217f4c0b506d25f2f3b.zip | |
Merge master
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") |