diff options
Diffstat (limited to 'devel/ikos/Makefile')
| -rw-r--r-- | devel/ikos/Makefile | 4 |
1 files changed, 2 insertions, 2 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 \ |