<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/401881c8fd433c01003b56b1c013901b310e952d">https://github.com/macports/macports-ports/commit/401881c8fd433c01003b56b1c013901b310e952d</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 401881c8fd433c01003b56b1c013901b310e952d
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Fri Dec 15 06:51:13 2023 +1100
<span style='display:block; white-space:pre;color:#404040;'> py*-z3: mark noarch, platforms darwin any
</span>---
math/z3/Portfile | 3 +++
1 file changed, 3 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 bb61ed4b2a5..336c9587f99 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;'>@@ -335,6 +335,7 @@ subport py-${name} {
</span> PortGroup stub 1.0
supported_archs noarch
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ platforms any
</span> categories-append python
description Python bindings for the Z3 theorem prover
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -357,6 +358,8 @@ foreach v ${pyversions} {
</span>
python.version ${v}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ supported_archs noarch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ platforms {darwin any}
</span> categories-append python
description Python ${python.branch} bindings for the Z3 theorem prover
</pre><pre style='margin:0'>
</pre>