diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-12-06 15:41:19 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-12-06 17:21:02 +0000 |
| commit | 2242eb825c0d5389b02c623938f427649d7fc34f (patch) | |
| tree | 588f883ab960e73de913bef726e34c668c0923cc | |
| parent | fa9122d8b254e262df2f489dcaf5b572ffd8df8c (diff) | |
| download | ports-2242eb825c0d5389b02c623938f427649d7fc34f.tar.gz ports-2242eb825c0d5389b02c623938f427649d7fc34f.zip | |
devel/ikos: Update 3.0 -> 3.1
PR: 252686
| -rw-r--r-- | devel/ikos/Makefile | 9 | ||||
| -rw-r--r-- | devel/ikos/distinfo | 6 | ||||
| -rw-r--r-- | 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 |