<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/140a1b86916fa5821e2d060c774fdc6ef6673de7">https://github.com/macports/macports-ports/commit/140a1b86916fa5821e2d060c774fdc6ef6673de7</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 140a1b8 z3: bump compiler.fallback to macports-clang-9.0
</span>140a1b8 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 140a1b86916fa5821e2d060c774fdc6ef6673de7
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Feb 17 17:36:30 2020 -0700
<span style='display:block; white-space:pre;color:#404040;'> z3: bump compiler.fallback to macports-clang-9.0
</span>---
math/z3/Portfile | 2 +-
1 file changed, 1 insertion(+), 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 b361107..37ee453 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;'>@@ -54,7 +54,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> depends_build-append port:python27 \
port:bash
<span style='display:block; white-space:pre;background:#ffe0e0;'>- compiler.fallback macports-clang-8.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ compiler.fallback macports-clang-9.0
</span>
configure.args-append -DPYTHON_EXECUTABLE=${prefix}/bin/python2.7
</pre><pre style='margin:0'>
</pre>