CVS commit: pkgsrc/math

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

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.

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