<pre style='margin:0'>
Chris Jones (cjones051073) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/17c6e5bbc77e2ee680f5709273c46affd023d5f0">https://github.com/macports/macports-ports/commit/17c6e5bbc77e2ee680f5709273c46affd023d5f0</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 17c6e5b  z3: remove cmake check and warning, no longer required
</span>17c6e5b is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 17c6e5bbc77e2ee680f5709273c46affd023d5f0
</span>Author: Chris Jones <jonesc@macports.org>
AuthorDate: Wed May 13 18:40:20 2020 +0100

<span style='display:block; white-space:pre;color:#404040;'>    z3: remove cmake check and warning, no longer required
</span>---
 math/z3/Portfile | 8 --------
 1 file changed, 8 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 d11c103..153ab33 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;'>@@ -104,14 +104,6 @@ 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:#ffe0e0;'>-        # We need cmake 3.9 behavior to be able to use CMAKE_INTERPROCEDURAL_OPTIMIZATION
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        # This can be removed if/when the project switches to a cmake_minimum_required >= 3.9
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        configure.args-append           -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        if {[vercmp ${version} "4.8.7"] > 0} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            ui_error "Please verify that -DCMAKE_POLICY_DEFAULT_CMP0069=NEW is still required (e.g. cmake_minimum_required < 3.9)"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span>         # Untested with gcc
         compiler.blacklist-append       *gcc*
 
</pre><pre style='margin:0'>

</pre>