Index: head/devel/ikos/Makefile
===================================================================
--- head/devel/ikos/Makefile	(revision 504096)
+++ head/devel/ikos/Makefile	(revision 504097)
@@ -1,45 +1,45 @@
 # $FreeBSD$
 
 PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.1-129
-DISTVERSIONSUFFIX=	-gf431373
+DISTVERSION=	2.1-152
+DISTVERSIONSUFFIX=	-gbf4ac4a
 PORTREVISION=	1
 CATEGORIES=	devel
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Static analyzer for C/C++ based on theory of abstract interpretation
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.pdf
 
 BUILD_DEPENDS=	llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION}
 LIB_DEPENDS=	libapron.so:math/apron \
 		libboost_system.so:devel/boost-libs \
 		libmpfr.so:math/mpfr \
 		libgmp.so:math/gmp \
 		libppl.so:devel/ppl
 
 USES=		cmake ncurses python sqlite
 USE_PYTHON=	py3kplist
 USE_GITHUB=	yes
 GH_ACCOUNT=	NASA-SW-VnV
 USE_LDCONFIG=	yes
 
 LLVM_VERSION=	80 # ${LLVM_DEFAULT} isn't desirable here since ikos only supports llvm>=70, but LLVM_DEFAULT implies that many/any llvm versions are supported
 
 CXXFLAGS+=	-DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 CMAKE_ARGS=	-DLLVM_CONFIG_EXECUTABLE:PATH=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \
 		-DPYTHON_EXECUTABLE:STRING=${PYTHON_CMD}
 
 post-configure: # workaround for the problem that --color-diagnostics gets into the linker command lines
 	@${REINPLACE_CMD} 's|-Wl,--color-diagnostics| |' ${BUILD_WRKSRC}/build.ninja
 
 # use clang corresponding to the used llvm version
 CPP=		clang-cpp${LLVM_VERSION}
 CC=		clang${LLVM_VERSION}
 CXX=		clang++${LLVM_VERSION}
 
 .include <bsd.port.mk>
Index: head/devel/ikos/distinfo
===================================================================
--- head/devel/ikos/distinfo	(revision 504096)
+++ head/devel/ikos/distinfo	(revision 504097)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1554869173
-SHA256 (NASA-SW-VnV-ikos-v2.1-129-gf431373_GH0.tar.gz) = c402db7f450d9281006d8d8e90f8e6c5216b945f46433b29ee7fe85818c0ea77
-SIZE (NASA-SW-VnV-ikos-v2.1-129-gf431373_GH0.tar.gz) = 1289728
+TIMESTAMP = 1560361273
+SHA256 (NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz) = c163071b1f56c75da72dce0acb6698c8d0dc8a6c206c802bd9e268e6301767b3
+SIZE (NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz) = 1305042