<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/19e621282df897196961447671aad3c923559543">https://github.com/macports/macports-ports/commit/19e621282df897196961447671aad3c923559543</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 19e621282df897196961447671aad3c923559543
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Dec 4 11:16:18 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update z3 hints, explicitly pass --use_hints via OTHERFLAGS.
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    This improves build time and proof reliability, but does not change the build output.
</span>---
 devel/everparse/Portfile                     |   2 +-
 devel/everparse/files/everparse-hints.tar.xz | Bin 485372 -> 508148 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/Portfile b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 9ce113af358..773a2be6c57 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -64,7 +64,7 @@ distfiles-append    everparse-hints.tar.xz
</span> use_configure       no
 
 build.type          gnu
<span style='display:block; white-space:pre;background:#ffe0e0;'>-build.env-append    "OTHERFLAGS=--hint_dir .hints --record_hints"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.env-append    "OTHERFLAGS=--hint_dir .hints --record_hints --use_hints"
</span> build.args          FSTAR_HOME=${fstar.home}/home \
                     KREMLIN_HOME=${kremlin.home}/home
 
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/everparse-hints.tar.xz b/devel/everparse/files/everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;color:#808080;'>index 1424084ef33..b65fe48ecbe 100644
</span>Binary files a/devel/everparse/files/everparse-hints.tar.xz and b/devel/everparse/files/everparse-hints.tar.xz differ
</pre><pre style='margin:0'>

</pre>