<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>