<pre style='margin:0'>
Renee Otten (reneeotten) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c307ae9e65c2b65493fe065083b6274edc0ea37d">https://github.com/macports/macports-ports/commit/c307ae9e65c2b65493fe065083b6274edc0ea37d</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new c307ae9e65c z3: update to 4.12.1; add py311; remove py27
</span>c307ae9e65c is described below
<span style='display:block; white-space:pre;color:#808000;'>commit c307ae9e65c2b65493fe065083b6274edc0ea37d
</span>Author: Kirill A. Korinsky <kirill@korins.ky>
AuthorDate: Sun Feb 12 19:10:27 2023 +0100
<span style='display:block; white-space:pre;color:#404040;'> z3: update to 4.12.1; add py311; remove py27
</span><span style='display:block; white-space:pre;color:#404040;'>
</span><span style='display:block; white-space:pre;color:#404040;'> Made `port lint --nitpick` almost happy
</span><span style='display:block; white-space:pre;color:#404040;'>
</span><span style='display:block; white-space:pre;color:#404040;'> Closes: https://trac.macports.org/ticket/66676
</span>---
math/z3/Portfile | 27 +++++++++++++++++----------
1 file changed, 17 insertions(+), 10 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/Portfile b/math/z3/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 1bb850471b5..4cfc00dbfbd 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -20,11 +20,11 @@ if {${subport} eq "${name}-fstar"} {
</span> sha256 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 \
size 4177051
} else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup Z3Prover z3 4.8.17 z3-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup Z3Prover z3 4.12.1 z3-
</span> revision 0
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 e2039c4c94c09e7eb5367b2f3bc4dfa53347a4cd \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 5232392
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 463cdcf7a782bb7a0c6e271885c008eb53ccce21 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 a3735fabf00e1341adcc70394993c05fd3e2ae167a3e9bb46045e33084eb64a3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 5470095
</span> }
platforms darwin freebsd
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -46,7 +46,7 @@ cmake.generator Ninja
</span> # Build requires -std=gnu++17
compiler.cxx_standard 2017
<span style='display:block; white-space:pre;background:#ffe0e0;'>-# Don't overide z3's default optimization flags
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Don't overide z3's default optimization flags
</span> configure.optflags
destroot.target install
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -212,7 +212,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> if {[vercmp ${version} "4.8.7"] >= 0} {
configure.args-delete -DZ3_SINGLE_THREADED=ON
configure.args-append -DZ3_SINGLE_THREADED=OFF
<span style='display:block; white-space:pre;background:#ffe0e0;'>- } else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ } else {
</span> configure.args-delete -DSINGLE_THREADED=ON
configure.args-append -DSINGLE_THREADED=OFF
}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -242,7 +242,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> }
variant polly_vector requires polly description {Enable automatic vector code generation using LLVM's Polly optimizer} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- configure.optflags-append -mllvm -polly-vectorizer=stripmine
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.optflags-append -mllvm -polly-vectorizer=stripmine
</span> }
variant polly_parallel requires polly description {Enable automatic generation of OpenMP code for parallel loops using LLVM's Polly optimizer} {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -255,7 +255,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> }
pre-configure {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- # Verify that a polly-supporting compiler was actually selected
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Verify that a polly-supporting compiler was actually selected
</span> if {[variant_isset polly] && ![z3.polly_supported_compiler ${configure.compiler}]} {
ui_error "${name} @${version}: +polly requires macports-clang-12 or later"
return -code error "incompatible compiler selected"
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -325,7 +325,7 @@ subport ${name}-fstar {
</span> }
}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-set pyversions {27 37 38 39 310}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set pyversions {37 38 39 310 311}
</span>
# Create a top-level Python binding metaport
subport py-${name} {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -341,6 +341,11 @@ subport py-${name} {
</span> python.default_version [lindex ${pyversions} end]
depends_lib port:${name} \
port:py${python.version}-${name}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Feb 2023 - master base/github PG default to yes which errors
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {[exists extract.rename]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ extract.rename no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span> }
# Create Python subports for each supported Python version
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -355,8 +360,10 @@ foreach v ${pyversions} {
</span> description Python ${python.branch} bindings for the Z3 theorem prover
long_description Python ${python.branch} bindings for the Z3 SMT solver library from Microsoft Research.
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ # needs pkg_resources at runtime
</span> depends_lib-append port:${name} \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- port:python${v}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:python${v} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:py${v}-setuptools
</span>
use_configure yes
configure.args-append -DPYTHON_EXECUTABLE=${python.bin} \
</pre><pre style='margin:0'>
</pre>