<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/5681f831e1f2957d226844f4212ba850e8a61839">https://github.com/macports/macports-ports/commit/5681f831e1f2957d226844f4212ba850e8a61839</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 5681f831e1f2957d226844f4212ba850e8a61839
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Thu Jun 6 12:38:33 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    z3-fstar: depend on py-setuptools for build
</span>---
 math/z3/Portfile | 2 ++
 1 file changed, 2 insertions(+)

<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 7051f157cd2..90b79db439f 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;'>@@ -296,6 +296,8 @@ subport ${name}-fstar {
</span>     long_description        Private version of the Z3 theorem prover for use by (and qualified to work with) F*.
     cmake.install_prefix    ${prefix}/libexec/${subport}
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    depends_build-append    port:py${py_ver_nodot}-setuptools
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>     destroot {
         xinstall -d -m 755 "${destroot}${cmake.install_prefix}/bin"
         xinstall -m 755 "${cmake.build_dir}/z3" "${destroot}${cmake.install_prefix}/bin/z3"
</pre><pre style='margin:0'>

</pre>