From nobody Fri Mar 01 19:27:51 2024 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 4TmdQv5jV0z5Cvpl; Fri, 1 Mar 2024 19:27:51 +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 4TmdQv4sF7z4kGm; Fri, 1 Mar 2024 19:27:51 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709321271; 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=336/1GXN9lxMQeyLDML9w8n7qCF1AEJ1PCkTm4aSlUE=; b=EcUm4U7LXSxherQFz5M0keiaGwxTuRihNtu9QZc0P6nNZ884HktdyvpjeyBcc4QJc+ERYj 54H97jNyjv/duwH3vW3VKjM92kWQRfH29LYEuG0BDEjkiAhvP3l77SVx/eZo1vqKankQb9 bFm1pEUa8PIyk10i/cVDZQGtpwsA95plrzniGdJ9xZl7e+dL/2dRH2ikNxs/PFlXXz5h6k eLPjA2yFo2Ob+1p9tV1N08uwlcE9cGkVqVZ4NI8AZl+S34JJLJGx1JNPvKJffreiuGPDfi EIQLTVsx+xeOVgvwESp5l7wMo1MXe5F+z5ORO4pqh8HRimVN0uM19MBYDt9CgA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1709321271; a=rsa-sha256; cv=none; b=rvjQ1teqKs6se0uGbjCeyuf8kU55mZ71CC0iZDSIZSMwx09W96A3emwPdH5Gnp2SQUNHvV gAVPUpNsawcMeP6ljSBQObEeD0/nmJ2z8ZLAw2soUIEOCd3rK6BjBZv+U8goZTAMBVNH7q /GFF2g+3j/ITO/Hgx47LtigctLhb7rQXuj7sUHEnrNeECVym8u0adrC3/Hq2Wo8mxBGBXd tcghsErAxE/So7MCvjJ8Y+ZV6SNCpXLk8TDZ9tHb63Ha9LAcpFNAoai07beky8ea6lW/tt Am7w1ev3lwcMx5VgZ8wGVwtVWFq2R/XmIK5+WX6fr3hHGN5T4nFAjl7qr1uu+w== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709321271; 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=336/1GXN9lxMQeyLDML9w8n7qCF1AEJ1PCkTm4aSlUE=; b=Av85aDovZ72yY7IVyXv9u7CatfaRvD9KKq9+G3Rfd559OeLHvfMsy6QZLFOjr8jDHlMOd4 mgoI7+IDSQ+qjZsmDDNLKFGxfIxt2dJuCM6NlanSiKUUZBOgzWLuzvtY/St8EuSgU25mai m/HD/WzY6nD+czMWe4U4VK6FmZYb8a2vHXrYqoHKl5QyyCs/p8nbydMeF7yCzwVV0W8MG7 YPjqhrhsATPoDxnd2LS9mYQ146A2nV6VbUl581rHFyglCzaY6RBQbogakC1/tm102k4tFc l3KMGkU5qcZEotSAz4ZY/OpBiaPdeKild4A+ntlJm8PzZ9EgB8UK5zbQAFkzWQ== 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 4TmdQv4LK1zfGP; Fri, 1 Mar 2024 19:27:51 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 421JRpQB065707; Fri, 1 Mar 2024 19:27:51 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 421JRphv065704; Fri, 1 Mar 2024 19:27:51 GMT (envelope-from git) Date: Fri, 1 Mar 2024 19:27:51 GMT Message-Id: <202403011927.421JRphv065704@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: 954bfd4d4cfd - main - security/klee: Update to 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: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 954bfd4d4cfd94b62f5e18560e2c0510784feeda Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=954bfd4d4cfd94b62f5e18560e2c0510784feeda commit 954bfd4d4cfd94b62f5e18560e2c0510784feeda Author: Gleb Popov AuthorDate: 2024-03-01 19:21:39 +0000 Commit: Gleb Popov CommitDate: 2024-03-01 19:26:53 +0000 security/klee: Update to 3.1 --- security/klee/Makefile | 4 ++-- security/klee/distinfo | 6 +++--- security/klee/pkg-plist | 1 + 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/security/klee/Makefile b/security/klee/Makefile index b1a17fc9c3ee..a759d3585714 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,6 +1,6 @@ PORTNAME= klee DISTVERSIONPREFIX= v -DISTVERSION= 3.0 +DISTVERSION= 3.1 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org @@ -15,7 +15,7 @@ NOT_FOR_ARCHS= i386 powerpc BUILD_DEPENDS= gmake:devel/gmake RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} -USES= cmake compiler:c++14-lang llvm:min=11,max=14,build,run,noexport localbase \ +USES= cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \ pkgconfig python:run shebangfix sqlite USE_GITHUB= yes SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti diff --git a/security/klee/distinfo b/security/klee/distinfo index 1bfb45051339..99a23c10c79a 100644 --- a/security/klee/distinfo +++ b/security/klee/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1687273109 -SHA256 (klee-klee-v3.0_GH0.tar.gz) = 204ebf0cb739886f574b1190b04fa9ed9088770c0634984782e9633d1aa4bdc9 -SIZE (klee-klee-v3.0_GH0.tar.gz) = 1042635 +TIMESTAMP = 1709317649 +SHA256 (klee-klee-v3.1_GH0.tar.gz) = ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7 +SIZE (klee-klee-v3.1_GH0.tar.gz) = 1058438 diff --git a/security/klee/pkg-plist b/security/klee/pkg-plist index e1d62ea8df7b..474f8af9e078 100644 --- a/security/klee/pkg-plist +++ b/security/klee/pkg-plist @@ -1,5 +1,6 @@ bin/kleaver bin/klee +bin/klee-exec-tree bin/klee-replay bin/klee-stats bin/klee-zesti