<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>