diff options
| author | Phil Christensen <philc@microsoft.com> | 2019-02-27 11:56:29 -0800 |
|---|---|---|
| committer | Phil Christensen <philc@microsoft.com> | 2019-02-27 11:56:29 -0800 |
| commit | 2cc7fa27e57f1129d1f37ccb009563509ca25720 (patch) | |
| tree | 3c75e423b71e54f6f65ec085c5d3d190d9d0d1a9 /ports/ompl/001-disable-extra-components.patch | |
| parent | 3830517ec7519b823f5d8c404710889c6bd00278 (diff) | |
| parent | 2dfa568d186e4f0d199040929f9b3e44f27c8943 (diff) | |
| download | vcpkg-2cc7fa27e57f1129d1f37ccb009563509ca25720.tar.gz vcpkg-2cc7fa27e57f1129d1f37ccb009563509ca25720.zip | |
Merge branch 'master' of https://github.com/microsoft/vcpkg into dev/philc/5254
Diffstat (limited to 'ports/ompl/001-disable-extra-components.patch')
| -rw-r--r-- | ports/ompl/001-disable-extra-components.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ports/ompl/001-disable-extra-components.patch b/ports/ompl/001-disable-extra-components.patch new file mode 100644 index 000000000..b1bb8bc39 --- /dev/null +++ b/ports/ompl/001-disable-extra-components.patch @@ -0,0 +1,23 @@ +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") |