<pre style='margin:0'>
Ryan Schmidt (ryandesign) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/015a32d7c2511e5e89591d4529816fadfef6b348">https://github.com/macports/macports-ports/commit/015a32d7c2511e5e89591d4529816fadfef6b348</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 015a32d7c25 z3: Fix py-z3 so it depends on py37-z3 again
</span>015a32d7c25 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 015a32d7c2511e5e89591d4529816fadfef6b348
</span>Author: Ryan Schmidt <ryandesign@macports.org>
AuthorDate: Sat Jun 13 01:01:06 2020 -0500
<span style='display:block; white-space:pre;color:#404040;'> z3: Fix py-z3 so it depends on py37-z3 again
</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/60488
</span>---
math/z3/Portfile | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
<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 153ab3334a3..661f99c1f5f 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;'>@@ -221,6 +221,8 @@ subport ${name}-fstar {
</span> }
}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+set pyversions {27 37}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> # Create a top-level Python binding metaport
subport py-${name} {
PortGroup python 1.0
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -231,6 +233,7 @@ subport py-${name} {
</span> long_description Python bindings for the Z3 SMT solver library from Microsoft Research.
supported_archs noarch
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ python.default_version [lindex ${pyversions} end]
</span> depends_lib port:${name} \
port:py${python.version}-${name}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -244,7 +247,7 @@ subport py-${name} {
</span> }
# Create Python subports for each supported Python version
<span style='display:block; white-space:pre;background:#ffe0e0;'>-foreach v {27 37} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+foreach v ${pyversions} {
</span> subport py${v}-${name} {
PortGroup python 1.0
</pre><pre style='margin:0'>
</pre>