<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/b5bb8fac214de653d5736c0760011416575aee06">https://github.com/macports/macports-ports/commit/b5bb8fac214de653d5736c0760011416575aee06</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit b5bb8fac214de653d5736c0760011416575aee06
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Jan 19 17:18:14 2021 -0700
<span style='display:block; white-space:pre;color:#404040;'> everparse: update to 20210113-06072a6
</span>---
devel/everparse/Portfile | 41 +++++++++++++++------------
devel/everparse/files/everparse-hints.tar.xz | Bin 508148 -> 510268 bytes
2 files changed, 23 insertions(+), 18 deletions(-)
<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 773a2be6c57..1aa10f31668 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;'>@@ -4,9 +4,9 @@ PortSystem 1.0
</span> PortGroup github 1.0
name everparse
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup project-everest everparse f266a357262d0ff0ae3c291d77e280a98c3c0feb
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 20200908-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup project-everest everparse 06072a6cbdb2b266a8a754f6d19981301e80c11e
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20210113-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision 0
</span>
categories devel
platforms darwin
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -17,12 +17,13 @@ long_description EverParse provides LowParse, verified-secure F*/Low* parser
</span> QuackyDucky, an untrusted compiler for generating verified secure parsers from a \
message format specification.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums rmd160 fa393a8fdedcbc6d32308f1e7f82c7772ce89527 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 bd60f0796c2902256473ab1d7e7becf851bbcc2b8e0f998dc76f96d877c00440 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 802706
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 8303906fccd1bd316ea4ff6457dd7e24787aa4d2 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 18eae5bbd394bf6bf18fb081b1cfef7219688506902c04a699dfa01cfd2d954e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 813704
</span>
depends_lib port:fstar-devel \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- port:kremlin-devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:kremlin-devel \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-hacl-star
</span>
depends_build port:ocaml \
port:ocaml-ocamlbuild \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -91,12 +92,13 @@ destroot {
</span> # Create QD_HOME layout compatible with src/package/package.sh
set everparse_root ${prefix}/libexec/everparse
set everparse_bin ${everparse_root}/bin
<span style='display:block; white-space:pre;background:#ffe0e0;'>- set everparse_home ${everparse_root}/src
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- set everparse_home_3d ${everparse_home}/3d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set everparse_lib ${everparse_root}/lib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set everparse_lib_3d ${everparse_root}/lib/3d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set everparse_src ${everparse_root}/src
</span>
xinstall -d \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- ${destroot}${everparse_home} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ${destroot}${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${everparse_lib} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${everparse_lib_3d} \
</span> ${destroot}${everparse_bin}
xinstall \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -108,17 +110,17 @@ destroot {
</span> ${destroot}${everparse_bin}/3d
foreach {ep_src ep_dst} [list \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- lowparse ${everparse_home} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 3d/prelude ${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 3d/.clang-format ${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 3d/copyright.txt ${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 3d/EverParseEndianness.h ${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 3d/noheader.txt ${everparse_home_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lowparse ${everparse_lib} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3d/prelude ${everparse_lib_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3d/.clang-format ${everparse_lib_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3d/copyright.txt ${everparse_lib_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3d/EverParseEndianness.h ${everparse_lib_3d} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3d/noheader.txt ${everparse_lib_3d} \
</span> ] {
copy ${worksrcpath}/src/${ep_src} ${destroot}${ep_dst}
}
<span style='display:block; white-space:pre;background:#ffe0e0;'>- fs-traverse {f} ${destroot}${everparse_home} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fs-traverse {f} ${destroot}${everparse_lib} {
</span> switch -glob -- "[file tail $f] [file type $f]" {
{.hints link} -
{.gitignore file} -
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -127,6 +129,9 @@ destroot {
</span> }
}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ # src/package/package.sh expects a 'src' directory
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ln -sf lib ${destroot}/${everparse_src}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> # Symlink the binaries into ${prefix}/bin
ln -sf ${everparse_bin}/qd ${destroot}${prefix}/bin/quackyducky
ln -sf quackyducky ${destroot}${prefix}/bin/qd
<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 b65fe48ecbe..690b19a580c 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>