Received: by mail.netbsd.org (Postfix, from userid 605) id E696E84F80; Tue, 23 Jan 2024 20:01:05 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 2238384F7E for ; Tue, 23 Jan 2024 20:01:05 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id djPwN5MtTMQ5 for ; Tue, 23 Jan 2024 20:01:04 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 4097D84F0D for ; Tue, 23 Jan 2024 20:01:04 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 3A6B1FA42; Tue, 23 Jan 2024 20:01:04 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1706040064183270" MIME-Version: 1.0 Date: Tue, 23 Jan 2024 20:01:04 +0000 From: "Adam Ciarcinski" Subject: CVS commit: pkgsrc/math To: pkgsrc-changes@NetBSD.org Reply-To: adam@netbsd.org X-Mailer: log_accum Message-Id: <20240123200104.3A6B1FA42@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1706040064183270 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: adam Date: Tue Jan 23 20:01:04 UTC 2024 Modified Files: pkgsrc/math/py-z3: Makefile PLIST pkgsrc/math/z3: Makefile Makefile.common distinfo Log Message: z3 py-z3: updated to 4.12.5 z3-4.12.5 update release scripts and notes track quantifier instantiation method in proof hint prepare for release add status badge for windows build, remove windows build from Azure pipelines add Windows build free memory the clean way free memory the clean way encapsulate anum functionality add explicit move constructor to deal with unit test regression test-z3 algebraic on Windows/debug - encapsulate mpz a bit more To generate a diff of this commit: cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/py-z3/Makefile cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/py-z3/PLIST cvs rdiff -u -r1.19 -r1.20 pkgsrc/math/z3/Makefile cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/z3/Makefile.common cvs rdiff -u -r1.16 -r1.17 pkgsrc/math/z3/distinfo Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1706040064183270 Content-Disposition: inline Content-Length: 4153 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/math/py-z3/Makefile diff -u pkgsrc/math/py-z3/Makefile:1.6 pkgsrc/math/py-z3/Makefile:1.7 --- pkgsrc/math/py-z3/Makefile:1.6 Tue May 16 19:23:05 2023 +++ pkgsrc/math/py-z3/Makefile Tue Jan 23 20:01:03 2024 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.6 2023/05/16 19:23:05 wiz Exp $ +# $NetBSD: Makefile,v 1.7 2024/01/23 20:01:03 adam Exp $ PYTHON_VERSIONS_INCOMPATIBLE= 27 @@ -7,9 +7,13 @@ PYTHON_VERSIONS_INCOMPATIBLE= 27 PKGNAME= ${PYPKGPREFIX}-${DISTNAME} COMMENT= Efficient SMT solver library +TOOL_DEPENDS+= ${PYPKGPREFIX}-setuptools>=46.4.0:../../devel/py-setuptools +TOOL_DEPENDS+= ${PYPKGPREFIX}-wheel-[0-9]*:../../devel/py-wheel +DEPENDS+= ${PYPKGPREFIX}-importlib-resources-[0-9]*:../../devel/py-importlib-resources + USE_TOOLS+= cmake ninja PYSETUPSUBDIR= src/api/python -EGG_NAME= ${DISTNAME:S/z3/z3_solver/}.0 +WHEEL_NAME= ${DISTNAME:S/z3/z3_solver/}.0 .include "../../mk/bsd.prefs.mk" @@ -23,6 +27,6 @@ post-install: ${DESTDIR}${PREFIX}/${PYSITELIB}/z3/lib/libz3.dylib .endif -.include "../../lang/python/egg.mk" +.include "../../lang/python/wheel.mk" .include "../../math/z3/buildlink3.mk" .include "../../mk/bsd.pkg.mk" Index: pkgsrc/math/py-z3/PLIST diff -u pkgsrc/math/py-z3/PLIST:1.2 pkgsrc/math/py-z3/PLIST:1.3 --- pkgsrc/math/py-z3/PLIST:1.2 Thu May 11 06:43:43 2023 +++ pkgsrc/math/py-z3/PLIST Tue Jan 23 20:01:03 2024 @@ -1,8 +1,8 @@ -@comment $NetBSD: PLIST,v 1.2 2023/05/11 06:43:43 adam Exp $ -${PYSITELIB}/${EGG_INFODIR}/PKG-INFO -${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt -${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt -${PYSITELIB}/${EGG_INFODIR}/top_level.txt +@comment $NetBSD: PLIST,v 1.3 2024/01/23 20:01:03 adam Exp $ +${PYSITELIB}/${WHEEL_INFODIR}/METADATA +${PYSITELIB}/${WHEEL_INFODIR}/RECORD +${PYSITELIB}/${WHEEL_INFODIR}/WHEEL +${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt ${PYSITELIB}/z3/__init__.py ${PYSITELIB}/z3/__init__.pyc ${PYSITELIB}/z3/__init__.pyo Index: pkgsrc/math/z3/Makefile diff -u pkgsrc/math/z3/Makefile:1.19 pkgsrc/math/z3/Makefile:1.20 --- pkgsrc/math/z3/Makefile:1.19 Mon Aug 14 05:24:50 2023 +++ pkgsrc/math/z3/Makefile Tue Jan 23 20:01:03 2024 @@ -1,6 +1,5 @@ -# $NetBSD: Makefile,v 1.19 2023/08/14 05:24:50 wiz Exp $ +# $NetBSD: Makefile,v 1.20 2024/01/23 20:01:03 adam Exp $ -PKGREVISION= 1 .include "Makefile.common" COMMENT= The Z3 theorem prover / SMT solver Index: pkgsrc/math/z3/Makefile.common diff -u pkgsrc/math/z3/Makefile.common:1.6 pkgsrc/math/z3/Makefile.common:1.7 --- pkgsrc/math/z3/Makefile.common:1.6 Wed May 17 07:55:32 2023 +++ pkgsrc/math/z3/Makefile.common Tue Jan 23 20:01:03 2024 @@ -1,9 +1,9 @@ -# $NetBSD: Makefile.common,v 1.6 2023/05/17 07:55:32 adam Exp $ +# $NetBSD: Makefile.common,v 1.7 2024/01/23 20:01:03 adam Exp $ # # used by math/py-z3/Makefile # used by math/z3/Makefile -DISTNAME= z3-4.12.2 +DISTNAME= z3-4.12.5 CATEGORIES= math MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/} GITHUB_PROJECT= z3 Index: pkgsrc/math/z3/distinfo diff -u pkgsrc/math/z3/distinfo:1.16 pkgsrc/math/z3/distinfo:1.17 --- pkgsrc/math/z3/distinfo:1.16 Thu May 25 10:53:24 2023 +++ pkgsrc/math/z3/distinfo Tue Jan 23 20:01:03 2024 @@ -1,8 +1,8 @@ -$NetBSD: distinfo,v 1.16 2023/05/25 10:53:24 jperkin Exp $ +$NetBSD: distinfo,v 1.17 2024/01/23 20:01:03 adam Exp $ -BLAKE2s (z3-4.12.2.tar.gz) = ded82a59e22b621a969c4e96a19343a156f73744ac4975199e519c0870c681e2 -SHA512 (z3-4.12.2.tar.gz) = 375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2 -Size (z3-4.12.2.tar.gz) = 5401038 bytes +BLAKE2s (z3-4.12.5.tar.gz) = 71743227f13c85e7528c3e61aca9042d6f075b5957ce4de54893afb6a30acde3 +SHA512 (z3-4.12.5.tar.gz) = b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7 +Size (z3-4.12.5.tar.gz) = 5491803 bytes SHA1 (patch-scripts_mk__util.py) = f092c9aed3c81408a485e9c92d8dddf5db86d6fe SHA1 (patch-src_api_python_setup.py) = cfc4a0a388d2a096ce86cbe3ca76b32502ec380e SHA1 (patch-src_ast_rewriter_seq__eq__solver.cpp) = 31cf8fc41855a4b3b5b6a10de88f613054719bc0 --_----------=_1706040064183270--