<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/c30a59c3500e5ea27c5fd01d3de0ab3486604d9d">https://github.com/macports/macports-ports/commit/c30a59c3500e5ea27c5fd01d3de0ab3486604d9d</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 c30a59c3500 z3: update to 4.12.4
</span>c30a59c3500 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit c30a59c3500e5ea27c5fd01d3de0ab3486604d9d
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Tue Dec 19 00:25:09 2023 +0800

<span style='display:block; white-space:pre;color:#404040;'>    z3: update to 4.12.4
</span>---
 math/z3/Portfile                            | 19 ++++----
 math/z3/files/patch-4.12.2-fix-linking.diff | 72 -----------------------------
 2 files changed, 9 insertions(+), 82 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 336c9587f99..faa86c8968f 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,13 +20,12 @@ 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.12.2 z3-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  c82388de224e325c6836fb4dc65dfcab0c01e5ab \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    5401038
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # See: https://github.com/Z3Prover/z3/issues/6869
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles-append   patch-4.12.2-fix-linking.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        Z3Prover z3 4.12.4 z3-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  205f658ed958fdb6650701adbb54a1af8071379f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    5471960
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.tarball_from archive
</span> }
 
 platforms           darwin freebsd
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -327,7 +326,7 @@ subport ${name}-fstar {
</span>     }
 }
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-set pyversions {37 38 39 310 311}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set pyversions {38 39 310 311}
</span> 
 # Create a top-level Python binding metaport
 subport py-${name} {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -371,7 +370,7 @@ foreach v ${pyversions} {
</span>                                 port:py${v}-setuptools
 
         use_configure           yes
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        configure.args-append   -DPYTHON_EXECUTABLE=${python.bin} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.args-append   -DPython3_EXECUTABLE=${python.bin} \
</span>                                 -DZ3_BUILD_PYTHON_BINDINGS=ON \
                                 -DZ3_INSTALL_PYTHON_BINDINGS=ON
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -383,7 +382,7 @@ foreach v ${pyversions} {
</span> 
         post-destroot {
             # The python module looks for libz3 in its package path
<span style='display:block; white-space:pre;background:#ffe0e0;'>-            ln -sf "${prefix}/lib/libz3.dylib" "${destroot}/${python.pkgd}/z3/"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            ln -sf "${prefix}/lib/libz3.dylib" "${destroot}${python.pkgd}/z3/"
</span>         }
 
         build.target            src/api/python/all
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/files/patch-4.12.2-fix-linking.diff b/math/z3/files/patch-4.12.2-fix-linking.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 2bf61bc2cd8..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/files/patch-4.12.2-fix-linking.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,72 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-See: https://github.com/Z3Prover/z3/issues/6869
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-https://github.com/Z3Prover/z3/commit/99239068baec84c16acb231182341ff1633e46ea
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-https://github.com/Z3Prover/z3/commit/79aa317af441c9ab4e4a28973f68570e7f5dc9d3
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-https://github.com/Z3Prover/z3/commit/06ea765b8229ea784fe6f805379c9e508eb9fed6
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/ast/rewriter/rewriter.cpp.orig     2023-05-13 03:59:04.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ast/rewriter/rewriter.cpp  2023-10-08 10:06:28.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -17,6 +17,8 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --*/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/rewriter/rewriter_def.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#include "ast/rewriter/push_app_ite.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#include "ast/rewriter/elim_bounds.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_ll_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_smt2_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -417,3 +419,6 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- template class rewriter_tpl<beta_reducer_cfg>;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+template class rewriter_tpl<ng_push_app_ite_cfg>;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+template class rewriter_tpl<push_app_ite_cfg>;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+template class rewriter_tpl<elim_bounds_cfg>;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/ast/normal_forms/elim_term_ite.cpp.orig    2023-05-13 03:59:04.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ast/normal_forms/elim_term_ite.cpp 2023-10-08 10:07:13.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -18,6 +18,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --*/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/normal_forms/elim_term_ite.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_smt2_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#include "ast/rewriter/rewriter_def.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- br_status elim_term_ite_cfg::reduce_app(func_decl* f, unsigned n, expr * const* args, expr_ref& result, proof_ref& result_pr) {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     if (!m.is_term_ite(f)) {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -38,3 +39,4 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     return BR_DONE;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+template class rewriter_tpl<elim_term_ite_cfg>;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/ast/rewriter/elim_bounds.cpp.orig  2023-05-13 03:59:04.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ast/rewriter/elim_bounds.cpp       2023-10-08 10:09:12.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -17,11 +17,9 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --*/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--#ifndef ELIM_BOUNDS_H_
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--#define ELIM_BOUNDS_H_
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/used_vars.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "util/obj_hashtable.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#include "ast/rewriter/rewriter_def.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/rewriter/var_subst.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/rewriter/elim_bounds.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -199,5 +197,3 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     TRACE("elim_bounds", tout << mk_pp(q, m) << "\n" << result << "\n";);
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     return true;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--#endif /* ELIM_BOUNDS_H_ */
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/ast/rewriter/push_app_ite.cpp.orig 2023-05-13 03:59:04.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ast/rewriter/push_app_ite.cpp      2023-10-08 10:13:54.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -18,6 +18,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- --*/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/rewriter/push_app_ite.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#include "ast/rewriter/rewriter_def.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #include "ast/ast_pp.h"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span></pre><pre style='margin:0'>

</pre>