CVS commit: pkgsrc/math

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

Module Name:    pkgsrc
Committed By:   adam
Date:           Tue Aug 13 09:21:07 UTC 2024

Modified Files:
        pkgsrc/math/py-z3: Makefile PLIST
        pkgsrc/math/z3: Makefile.common PLIST distinfo

Log Message:
z3 py-z3: updated to 4.13.0

Version 4.13.0

- add ARM64 wheels for Python, thanks to Steven Moy, smoy


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/math/py-z3/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/py-z3/PLIST
cvs rdiff -u -r1.8 -r1.9 pkgsrc/math/z3/Makefile.common
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/z3/PLIST
cvs rdiff -u -r1.17 -r1.18 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.7 pkgsrc/math/py-z3/Makefile:1.8
--- pkgsrc/math/py-z3/Makefile:1.7      Tue Jan 23 20:01:03 2024
+++ pkgsrc/math/py-z3/Makefile  Tue Aug 13 09:21:07 2024
@@ -1,6 +1,4 @@
-# $NetBSD: Makefile,v 1.7 2024/01/23 20:01:03 adam Exp $
-
-PYTHON_VERSIONS_INCOMPATIBLE=  27
+# $NetBSD: Makefile,v 1.8 2024/08/13 09:21:07 adam Exp $
 
 .include "../../math/z3/Makefile.common"
 

Index: pkgsrc/math/py-z3/PLIST
diff -u pkgsrc/math/py-z3/PLIST:1.3 pkgsrc/math/py-z3/PLIST:1.4
--- pkgsrc/math/py-z3/PLIST:1.3 Tue Jan 23 20:01:03 2024
+++ pkgsrc/math/py-z3/PLIST     Tue Aug 13 09:21:07 2024
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.3 2024/01/23 20:01:03 adam Exp $
+@comment $NetBSD: PLIST,v 1.4 2024/08/13 09:21:07 adam Exp $
 ${PYSITELIB}/${WHEEL_INFODIR}/METADATA
 ${PYSITELIB}/${WHEEL_INFODIR}/RECORD
 ${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
@@ -34,7 +34,7 @@ ${PYSITELIB}/z3/include/z3_replayer.h
 ${PYSITELIB}/z3/include/z3_spacer.h
 ${PYSITELIB}/z3/include/z3_v1.h
 ${PYSITELIB}/z3/lib/libz3.so
-${PYSITELIB}/z3/lib/libz3.so.4.12
+${PYSITELIB}/z3/lib/libz3.so.4.13
 ${PYSITELIB}/z3/z3.py
 ${PYSITELIB}/z3/z3.pyc
 ${PYSITELIB}/z3/z3.pyo

Index: pkgsrc/math/z3/Makefile.common
diff -u pkgsrc/math/z3/Makefile.common:1.8 pkgsrc/math/z3/Makefile.common:1.9
--- pkgsrc/math/z3/Makefile.common:1.8  Wed Feb 21 10:50:35 2024
+++ pkgsrc/math/z3/Makefile.common      Tue Aug 13 09:21:07 2024
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile.common,v 1.8 2024/02/21 10:50:35 nia Exp $
+# $NetBSD: Makefile.common,v 1.9 2024/08/13 09:21:07 adam Exp $
 #
 # used by math/py-z3/Makefile
 # used by math/z3/Makefile
 
-DISTNAME=      z3-4.12.5
+DISTNAME=      z3-4.13.0
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=Z3Prover/}
 GITHUB_PROJECT=        z3
@@ -16,8 +16,7 @@ MAINTAINER=   dholland%NetBSD.org@localhost
 HOMEPAGE=      https://github.com/Z3Prover/z3
 LICENSE=       mit
 
-USE_LANGUAGES= c c++
-
-USE_CXX_FEATURES+=     c++17
+USE_CXX_FEATURES=      c++17
+USE_LANGUAGES=         c c++
 
 .include "../../lang/python/tool.mk"

Index: pkgsrc/math/z3/PLIST
diff -u pkgsrc/math/z3/PLIST:1.5 pkgsrc/math/z3/PLIST:1.6
--- pkgsrc/math/z3/PLIST:1.5    Thu May 11 06:43:43 2023
+++ pkgsrc/math/z3/PLIST        Tue Aug 13 09:21:07 2024
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.5 2023/05/11 06:43:43 adam Exp $
+@comment $NetBSD: PLIST,v 1.6 2024/08/13 09:21:07 adam Exp $
 bin/z3
 include/z3++.h
 include/z3.h
@@ -19,6 +19,6 @@ lib/cmake/z3/Z3ConfigVersion.cmake
 lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
 lib/cmake/z3/Z3Targets.cmake
 lib/libz3.so
-lib/libz3.so.4.12
+lib/libz3.so.4.13
 lib/libz3.so.${PKGVERSION}.0
 lib/pkgconfig/z3.pc

Index: pkgsrc/math/z3/distinfo
diff -u pkgsrc/math/z3/distinfo:1.17 pkgsrc/math/z3/distinfo:1.18
--- pkgsrc/math/z3/distinfo:1.17        Tue Jan 23 20:01:03 2024
+++ pkgsrc/math/z3/distinfo     Tue Aug 13 09:21:07 2024
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.17 2024/01/23 20:01:03 adam Exp $
+$NetBSD: distinfo,v 1.18 2024/08/13 09:21:07 adam Exp $
 
-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
+BLAKE2s (z3-4.13.0.tar.gz) = 9476e4d41e8264b1370f57d8739140b66f3242078db7b2b9c8df140e6d766b49
+SHA512 (z3-4.13.0.tar.gz) = 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
+Size (z3-4.13.0.tar.gz) = 5520232 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