diff options
Diffstat (limited to 'ports/ompl')
| -rw-r--r-- | ports/ompl/CONTROL | 3 | ||||
| -rw-r--r-- | ports/ompl/portfile.cmake | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/ports/ompl/CONTROL b/ports/ompl/CONTROL index 8a60f34cd..292ad71b6 100644 --- a/ports/ompl/CONTROL +++ b/ports/ompl/CONTROL @@ -1,5 +1,6 @@ Source: ompl
-Version: 1.4.2-4
+Version: 1.4.2
+Port-Version: 5
Homepage: https://bitbucket.org/ompl
Description: The Open Motion Planning Library, consists of many state-of-the-art sampling-based motion planning algorithms
Build-Depends: boost-dynamic-bitset, boost-filesystem, boost-graph, boost-odeint, boost-program-options, boost-serialization, boost-system, boost-test, boost-ublas, boost-timer, eigen3
diff --git a/ports/ompl/portfile.cmake b/ports/ompl/portfile.cmake index 074d2b852..a3c1244e9 100644 --- a/ports/ompl/portfile.cmake +++ b/ports/ompl/portfile.cmake @@ -29,6 +29,7 @@ file(WRITE ${SOURCE_PATH}/CMakeLists.txt "${_contents}") vcpkg_configure_cmake(
SOURCE_PATH ${SOURCE_PATH}
PREFER_NINJA
+ DISABLE_PARALLEL_CONFIGURE
OPTIONS
-DOMPL_VERSIONED_INSTALL=OFF
-DOMPL_REGISTRATION=OFF
|