From nobody Tue Dec 6 17:21:05 2022 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4NRRyn2rTVz4jRWj; Tue, 6 Dec 2022 17:21:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4NRRyn2Lpvz4HWX; Tue, 6 Dec 2022 17:21:05 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1670347265; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=qRtU6dkEXn7vpYHJVGpWGt+uFdXQbtIFwssBsPDIe6c=; b=KQC4DEuAGgseJm5hKhHW/Y5+JPGzkYEn9t4G1LRPZrkOcjYFA+2jJSagi6E4AHIbO7snjP p9+rCuV8hf+q+x68bAmeLzjj7IwvguTjcXG6euhPfUdVTAzO76ZK5oG0uYp67EWmTiiuaf 5/CcSzk07NA8VE5IuscZWWRcQn3zycx/Vhgbm7mrEDMgiAff9zVCDfA4KAoZVgrqi2GC7+ wjmRQz61/OIvusnOLLf5IkB4upWWzZQe0lh2H7F/ADwQeVQTW4Q/vQFI5/t8f2qXwZ93cc k+hjYUwA3vzEvWy+GjoIv7MDOzLRbIj9AexkBv2u9aE0pQNR/ybarT17Rw8IBg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1670347265; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=qRtU6dkEXn7vpYHJVGpWGt+uFdXQbtIFwssBsPDIe6c=; b=rW27tcckL79U9ckb6rphy/+hEc9m1j11KJoygnNGFK1/07xkfCq+cqxgFgVR5CX5vK65mU 89UM5ez/zX10LhAoj/KANxSBfaEP2Q5Ki7Y3mQyHbSd36R4nNehhM3qu22NOquntb53J/b F7GAf75R+iYqfPPww5O+w+U3J3Slj1jHIiKgtaaPQe7wDhHnf2YsJNJ4PnYxw/HYqlgRjn qKnsu7NF9ItEehBKQjQUnQ1xzc2VVreEiMOf7BcfBJ7jN4d7PUqxiLGADAataTKdv185bo WOXMuCrOwevnrPvTNT4KSWa31s1vWagXiHOXYz+lh5IFgkJS9IijfCe8+BYTTQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1670347265; a=rsa-sha256; cv=none; b=QEnzdM3yfYqz9esT8CeVZb9odILWzRF+XTLGSdXDBlSkxS0GzWjUHkkRC6Xc6YdR0SQS7F uAzcVy9Ci6L6wa/MIbXYH4LHBMQrtoKgCrLFuCojaMJrXMDPQF47kfQ8pZENM32DnohJRN RP6oyCABEF7WZ2DdF33jgHLiWcAi/XoQ7FNXgDBKl+gVBwQEa1PP4XE58iQsODtq2gM53W 6m0itBgANvlE3CQFNAZfZ9xt8hROtSdDxIJaAQOt7xlL7P63qHvdxud1ElWP1IXQtWLTfF +Gbd2KHr+9m5O+U/q/tlictxBn0Q7j8rXlTTUbaOCX35AL0Lgk2Aat6gXmjocQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4NRRyn1RMdzlkb; Tue, 6 Dec 2022 17:21:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 2B6HL5GT057326; Tue, 6 Dec 2022 17:21:05 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 2B6HL5RE057325; Tue, 6 Dec 2022 17:21:05 GMT (envelope-from git) Date: Tue, 6 Dec 2022 17:21:05 GMT Message-Id: <202212061721.2B6HL5RE057325@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 2242eb825c0d - main - devel/ikos: Update 3.0 -> 3.1 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 2242eb825c0d5389b02c623938f427649d7fc34f Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=2242eb825c0d5389b02c623938f427649d7fc34f commit 2242eb825c0d5389b02c623938f427649d7fc34f Author: Yuri Victorovich AuthorDate: 2022-12-06 15:41:19 +0000 Commit: Yuri Victorovich 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