<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/b7d5f387060d67f9d59f6caeb7e0bd09d2a86221">https://github.com/macports/macports-ports/commit/b7d5f387060d67f9d59f6caeb7e0bd09d2a86221</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 b7d5f387060 z3-fstar: fix extraction of profiling data on when gzip(1) does not support xz compression
</span>b7d5f387060 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit b7d5f387060d67f9d59f6caeb7e0bd09d2a86221
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Aug 27 15:06:04 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    z3-fstar: fix extraction of profiling data on when gzip(1) does not support xz compression
</span>---
 math/z3/Portfile | 7 ++++++-
 1 file changed, 6 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 10a0d664ee0..7d6702c2362 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;'>@@ -311,8 +311,13 @@ subport ${name}-fstar {
</span>         #       -o ${filespath}/z3-fstar.profdata.tar.xz \
         #       -j <njobs> \
         #       <everest-src>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        distfiles-append            ${subport}.profdata.tar.xz
</span>         configure.optflags-append   -fprofile-instr-use=${workpath}/${subport}.profdata
<span style='display:block; white-space:pre;background:#e0ffe0;'>+        depends_extract-append      bin:xz:xz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        post-extract {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            set tar [findBinary tar ${portutil::autoconf::tar_command}]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            set xz [findBinary xz ${portutil::autoconf::xz_path}]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            system "${xz} -cd ${filespath}/${subport}.profdata.tar.xz | ${tar} -C ${workpath} --no-same-owner -xf -"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        }
</span>     }
 }
 
</pre><pre style='margin:0'>

</pre>