Date: Tue, 6 Dec 2022 17:21:05 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 2242eb825c0d - main - devel/ikos: Update 3.0 -> 3.1 Message-ID: <202212061721.2B6HL5RE057325@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=2242eb825c0d5389b02c623938f427649d7fc34f commit 2242eb825c0d5389b02c623938f427649d7fc34f Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-12-06 15:41:19 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-12-06 17:21:02 +0000 devel/ikos: Update 3.0 -> 3.1 PR: 252686 --- devel/ikos/Makefile | 9 +++++---- devel/ikos/distinfo | 6 +++--- devel/ikos/pkg-plist | 8 ++++---- 3 files changed, 12 insertions(+), 11 deletions(-) diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index c7835baf657b..2c4570ccff8a 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -1,7 +1,6 @@ PORTNAME= ikos DISTVERSIONPREFIX= v -DISTVERSION= 3.0 -PORTREVISION= 8 +DISTVERSION= 3.1 CATEGORIES= devel MAINTAINER= yuri@FreeBSD.org @@ -17,7 +16,7 @@ LIB_DEPENDS= libapron.so:math/apron \ libmpfr.so:math/mpfr \ libgmp.so:math/gmp \ libppl.so:devel/ppl \ - libtbb.so:devel/tbb + libtbb.so:devel/onetbb RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR} \ llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} @@ -26,7 +25,7 @@ USE_GITHUB= yes GH_ACCOUNT= NASA-SW-VnV USE_LDCONFIG= yes -LLVM_VERSION= 90 # ${LLVM_DEFAULT} isn't desirable here since ikos only supports llvm>=90, but LLVM_DEFAULT implies that many/any llvm versions are supported +LLVM_VERSION= 14 # only llvm-14 is currently supported CXXFLAGS+= -DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG @@ -34,6 +33,8 @@ CMAKE_ON= BUILD_SHARED_LIBS CMAKE_ARGS= -DLLVM_CONFIG_EXECUTABLE:PATH=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \ -DPYTHON_EXECUTABLE:STRING=${PYTHON_CMD} +PLIST_SUB= PORTVERSION=${PORTVERSION} + 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 diff --git a/devel/ikos/distinfo b/devel/ikos/distinfo index 15c4e08b8c2c..997c01d5dbaa 100644 --- a/devel/ikos/distinfo +++ b/devel/ikos/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1576218262 -SHA256 (NASA-SW-VnV-ikos-v3.0_GH0.tar.gz) = c2ee1ced81e48c03bcf641fb4d33e0d64a1205108c2f53247bac6eb7d929e538 -SIZE (NASA-SW-VnV-ikos-v3.0_GH0.tar.gz) = 1377215 +TIMESTAMP = 1670308888 +SHA256 (NASA-SW-VnV-ikos-v3.1_GH0.tar.gz) = e2a9ff32d02aeff92abbb8f69f1a6730ad96b6f59a10e18c30522d033f950844 +SIZE (NASA-SW-VnV-ikos-v3.1_GH0.tar.gz) = 1385982 diff --git a/devel/ikos/pkg-plist b/devel/ikos/pkg-plist index e0d3b4221330..fb037e1fa2e2 100644 --- a/devel/ikos/pkg-plist +++ b/devel/ikos/pkg-plist @@ -165,10 +165,10 @@ include/ikos/frontend/llvm/pass.hpp lib/libikos-ar.so lib/libikos-llvm-to-ar.so lib/libikos-pp.so -%%PYTHON_SITELIBDIR%%/ikos-3.0-py%%PYTHON_VER%%.egg-info/PKG-INFO -%%PYTHON_SITELIBDIR%%/ikos-3.0-py%%PYTHON_VER%%.egg-info/SOURCES.txt -%%PYTHON_SITELIBDIR%%/ikos-3.0-py%%PYTHON_VER%%.egg-info/dependency_links.txt -%%PYTHON_SITELIBDIR%%/ikos-3.0-py%%PYTHON_VER%%.egg-info/top_level.txt +%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/PKG-INFO +%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/SOURCES.txt +%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/dependency_links.txt +%%PYTHON_SITELIBDIR%%/ikos-%%PORTVERSION%%-py%%PYTHON_VER%%.egg-info/top_level.txt %%PYTHON_SITELIBDIR%%/ikos/__init__.py %%PYTHON_SITELIBDIR%%/ikos/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.pyc %%PYTHON_SITELIBDIR%%/ikos/__pycache__/abs_int.cpython-%%PYTHON_SUFFIX%%.pyc
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202212061721.2B6HL5RE057325>