From nobody Thu May 5 07:05:26 2022 X-Original-To: dev-commits-ports-all@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 89F061AB7B43; Thu, 5 May 2022 07:05:26 +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 4Kv4Tf3Wvrz3DXW; Thu, 5 May 2022 07:05:26 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1651734326; 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=nJXZXkSFRITYZzr3ibJcEHcZOo8emZyAZpfnrjmjWNk=; b=VCPX5/8bFX0H3tfmUFSJ2GqKz02HabPITvIDhbQQSl7PAOprfXMjGE7RQFfBjW5NojpPIb y6hiOzgVgsjNdtNg3qjYyF5hDgFXT1f1lrmn/OkImjJ/1g82atSwquT16a0PISqhPXW9sD iMie0MxR9uHbv76yGSvYZRm1FXHhI1mDGx2tg4KKAHOmlOZ9O76OYh8laP3BUSyKflMvqO 4cM8apsVzwXie+TbVy9eS059oTzMxkxeuSLGbetP8JhB6Yek7UGuASZB4R0YzISeggWuWb 0R1pf9jMNzM/X9TlkWPuaTWHSYBJ2Fsvob7azugEAKwbImEN2Y+fTDVmw0rxhQ== 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 58EBD22DD3; Thu, 5 May 2022 07:05:26 +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 24575QIF004725; Thu, 5 May 2022 07:05:26 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 24575Qa9004724; Thu, 5 May 2022 07:05:26 GMT (envelope-from git) Date: Thu, 5 May 2022 07:05:26 GMT Message-Id: <202205050705.24575Qa9004724@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org From: Gleb Popov Subject: git: 28df25c45f6c - 2022Q2 - math/z3: Update to 4.8.16 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@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/2022Q2 X-Git-Reftype: branch X-Git-Commit: 28df25c45f6c068e9544a6b8db9a7cd4e3bad087 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1651734326; 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=nJXZXkSFRITYZzr3ibJcEHcZOo8emZyAZpfnrjmjWNk=; b=pzXBa1R4vg07ujblH+nPsktDhZhqAFslYGaRYzt+/TYQ+eEiiBx7+w+whBmYARip5Bos6d f21weSQmkJqCK5o9d7NV8H9BGrUupTGmyY3hcshicVFSiK0eK+r4c973T6av/QN/kt8fjs IkzGYHJITMSD+iKq/OsHnVdXr5JkmeEQargcROnsxTxgYc3Fw+9UZga2RSAT0o+vTCcgWL ZDhaWtppu2tdggmvqFBxIjKGVXQ5PY2YXoDDwe65A8LC7E7LCZcEL7EuhyHwuD/cFnVc+N wSvZVgaD5Y4xjLWgB/huOYl4GQwhE3n76aDTEGjX6+YSfXFmtsw18x6hVqhpXg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1651734326; a=rsa-sha256; cv=none; b=Yzg2811J27h14yUCVhQ2780GHx0T4EPjtWLGcbS19rahUqopq2Qh/WeJgM99cLGfcFdFsa 03REKXED4VY4bJLlPTUhupoR5R9ob/TaAR8ozNyUTW1oawzjrXxHCtZ7N/kQCOp6GAv6mu oHln9yuOpDCpDK8ZAS3I3IP/rBt87u0O1NqP6L0449tW4IpdLdOUVr6pa4N1W+nMe4i9Zp BUsneGwoGLCP1v83+6afEJslB6KFeKdzVFrsWstpquL/R7nPx47FfJT/NycsYlf7QeMago e0YZJI44xIn6FVNQklFcAlLD9QJU53Y0QZr4pr5LfOQgrS5xLVFT691lSFCUuA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch 2022Q2 has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=28df25c45f6c068e9544a6b8db9a7cd4e3bad087 commit 28df25c45f6c068e9544a6b8db9a7cd4e3bad087 Author: Gleb Popov AuthorDate: 2022-05-05 07:02:55 +0000 Commit: Gleb Popov CommitDate: 2022-05-05 07:05:21 +0000 math/z3: Update to 4.8.16 Fix DEBUG option by not stripping resulting binaries. Reported by: repology.org (cherry picked from commit 2300e831acba031f2f0b44a73d74a7526c287ca2) --- math/z3/Makefile | 3 ++- math/z3/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index ff476bdc1dff..529069510a96 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,6 +1,6 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.13 +DISTVERSION= 4.8.16 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org @@ -22,6 +22,7 @@ OPTIONS_DEFINE= DEBUG STATIC GMP OPTIONS_SUB= yes DEBUG_CONFIGURE_ON= --debug +DEBUG_VARS= with_debug=yes STATIC_DESC= Build static z3 library STATIC_CONFIGURE_ON= --staticlib diff --git a/math/z3/distinfo b/math/z3/distinfo index aaa11d1eb67b..f5d61a2521c8 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1639500301 -SHA256 (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 59a0b35711fa7ae48dd535116d2067a6a16955fcbf2623c516a3f630cd2832d8 -SIZE (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 5103999 +TIMESTAMP = 1651515677 +SHA256 (Z3Prover-z3-z3-4.8.16_GH0.tar.gz) = 75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6 +SIZE (Z3Prover-z3-z3-4.8.16_GH0.tar.gz) = 5223980