<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/d80ce7a771298d4f306ca8dc754964054386b058">https://github.com/macports/macports-ports/commit/d80ce7a771298d4f306ca8dc754964054386b058</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 d80ce7a7712 z3-java: Update patch broken by 4.8.13 update
</span>d80ce7a7712 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit d80ce7a771298d4f306ca8dc754964054386b058
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Dec 7 22:01:35 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    z3-java: Update patch broken by 4.8.13 update
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Fixes: https://trac.macports.org/ticket/64157
</span>---
 math/z3/files/java_libpath.diff | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/files/java_libpath.diff b/math/z3/files/java_libpath.diff
</span><span style='display:block; white-space:pre;color:#808080;'>index 7135f6ce47b..bd7014adfd0 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/files/java_libpath.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/files/java_libpath.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,9 +1,9 @@
</span> --- scripts/update_api.py 2020-09-10 12:51:28.000000000 -0600
 +++ scripts/update_api.py      2020-11-05 09:46:58.000000000 -0700
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -543,11 +543,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -546,11 +546,7 @@
</span>  
      java_native.write('  static {\n')
<span style='display:block; white-space:pre;background:#ffe0e0;'>-     java_native.write('    if (null == System.getProperty("z3.skipLibraryLoad")) {\n')
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     java_native.write('    if (!Boolean.parseBoolean(System.getProperty("z3.skipLibraryLoad"))) {\n')
</span> -    java_native.write('      try {\n')
 -    java_native.write('        System.loadLibrary("z3java");\n')
 -    java_native.write('      } catch (UnsatisfiedLinkError ex) {\n')
</pre><pre style='margin:0'>

</pre>