diff options
Diffstat (limited to 'devel/ikos')
| -rw-r--r-- | devel/ikos/Makefile | 4 | ||||
| -rw-r--r-- | devel/ikos/files/patch-cmake_FindBoost.cmake | 11 |
2 files changed, 12 insertions, 3 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index 0d4bb7249319..7bf385e45fe3 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -1,7 +1,7 @@ PORTNAME= ikos DISTVERSIONPREFIX= v DISTVERSION= 3.5 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MAINTAINER= yuri@FreeBSD.org @@ -15,7 +15,7 @@ BROKEN_armv7= configure fails: error when running a program linked with GMP: Seg BUILD_DEPENDS= llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} LIB_DEPENDS= libapron.so:math/apron \ - libboost_system.so:devel/boost-libs \ + libboost_thread.so:devel/boost-libs \ libmpfr.so:math/mpfr \ libgmp.so:math/gmp \ libppl.so:devel/ppl \ diff --git a/devel/ikos/files/patch-cmake_FindBoost.cmake b/devel/ikos/files/patch-cmake_FindBoost.cmake index a7a74af7cca3..75f2d9c03187 100644 --- a/devel/ikos/files/patch-cmake_FindBoost.cmake +++ b/devel/ikos/files/patch-cmake_FindBoost.cmake @@ -1,4 +1,4 @@ ---- cmake/FindBoost.cmake.orig 2019-02-23 02:50:42 UTC +--- cmake/FindBoost.cmake.orig 2024-12-31 23:34:34 UTC +++ cmake/FindBoost.cmake @@ -170,6 +170,9 @@ # @@ -10,3 +10,12 @@ #------------------------------------------------------------------------------- # Before we go searching, check whether boost-cmake is available, unless the # user specifically asked NOT to search for boost-cmake. +@@ -1000,7 +1003,7 @@ if(Boost_VERSION AND Boost_FIND_COMPONENTS) + # On versions < 1.35, remove the System library from the considered list + # since it wasn't added until 1.35. + if(Boost_VERSION AND Boost_FIND_COMPONENTS) +- if(Boost_VERSION LESS 103500) ++ if(Boost_VERSION LESS 103500 OR Boost_VERSION GREATER 107100) + list(REMOVE_ITEM Boost_FIND_COMPONENTS system) + endif() + endif() |