diff options
Diffstat (limited to 'devel/ikos/files/patch-cmake_FindBoost.cmake')
-rw-r--r-- | devel/ikos/files/patch-cmake_FindBoost.cmake | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/ikos/files/patch-cmake_FindBoost.cmake b/devel/ikos/files/patch-cmake_FindBoost.cmake new file mode 100644 index 000000000000..a7a74af7cca3 --- /dev/null +++ b/devel/ikos/files/patch-cmake_FindBoost.cmake @@ -0,0 +1,12 @@ +--- cmake/FindBoost.cmake.orig 2019-02-23 02:50:42 UTC ++++ cmake/FindBoost.cmake +@@ -170,6 +170,9 @@ + # + # Set Boost_NO_BOOST_CMAKE to ON to disable the search for boost-cmake. + ++# https://gitlab.kitware.com/cmake/cmake/issues/18865 ++set(Boost_NO_BOOST_CMAKE ON CACHE BOOL "Disable the search for boost-cmake") ++ + #------------------------------------------------------------------------------- + # Before we go searching, check whether boost-cmake is available, unless the + # user specifically asked NOT to search for boost-cmake. |