<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/63df17aff4cb2ab3ab59733e409c5fa4daee50d9">https://github.com/macports/macports-ports/commit/63df17aff4cb2ab3ab59733e409c5fa4daee50d9</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 63df17aff4c z3-fstar: fix +lto and bump revision accordingly.
</span>63df17aff4c is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 63df17aff4cb2ab3ab59733e409c5fa4daee50d9
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Wed Dec 2 11:11:38 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    z3-fstar: fix +lto and bump revision accordingly.
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    This partially reverts 17c6e5bbc77e2ee680f5709273c46affd023d5f0, which
</span><span style='display:block; white-space:pre;color:#404040;'>    removed -DCMAKE_POLICY_DEFAULT_CMP0069=NEW for both z3 and z3-fstar;
</span><span style='display:block; white-space:pre;color:#404040;'>    we still need the flag to enable LTO when building z3 < 4.8.8 (i.e. z3-fstar).
</span>---
 math/z3/Portfile | 9 ++++++++-
 1 file changed, 8 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 47f6c993f87..4c9b41d36f9 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;'>@@ -15,7 +15,7 @@ long_description    High performance SMT solver from Microsoft Research.
</span> # FStar-qualified Z3 release?
 if {${subport} eq "${name}-fstar"} {
     github.setup        Z3Prover z3 4.8.5 Z3-
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            3
</span>     checksums           rmd160  cb3509b35dc3a428019950df2e2f94c555a7ee94 \
                         sha256  4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 \
                         size    4177051
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -107,6 +107,13 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>     variant lto conflicts debug description {Enable link-time (interprocedural) optimization} {
         configure.args-append           -DCMAKE_INTERPROCEDURAL_OPTIMIZATION=ON
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+        if {[vercmp ${version} "4.8.8"] < 0} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            # We need cmake 3.9 behavior to be able to use CMAKE_INTERPROCEDURAL_OPTIMIZATION
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            # This can be removed after z3-fstar adopts 4.8.8 or later, which includes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            # cmake_minimum_required >= 3.9
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            configure.args-append           -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>         # Untested with gcc
         compiler.blacklist-append       *gcc*
 
</pre><pre style='margin:0'>

</pre>