<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/147c0ae955f34723577c07d4aa97688ac3476c9a">https://github.com/macports/macports-ports/commit/147c0ae955f34723577c07d4aa97688ac3476c9a</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 147c0ae everparse: new port
</span>147c0ae is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 147c0ae955f34723577c07d4aa97688ac3476c9a
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Nov 29 16:55:51 2019 -0700
<span style='display:block; white-space:pre;color:#404040;'> everparse: new port
</span>---
devel/everparse/Portfile | 81 +++++++++++++++++++++++++++
devel/everparse/files/everparse-hints.tar.xz | Bin 0 -> 242720 bytes
2 files changed, 81 insertions(+)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/Portfile b/devel/everparse/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..11797c8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,81 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name everparse
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup project-everest everparse 8845f7000d82fbd8e55dd0cdad4f9814a6e1a5f7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20191128-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platforms darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers {landonf @landonf} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license Apache-2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description A verified secure parser framework for F*.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ QuackyDucky, an untrusted compiler for generating verified secure parsers from a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ message format specification.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 312ce3653a9116b8843b7adf421b7f05a0326e7b \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 d58287d8fdeec837941b48bb166ff2548591a93116412bcbecfc11ea91112507 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 632653
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib port:fstar-devel \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:kremlin-devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build port:ocaml \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-ocamlbuild \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-batteries \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-hex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# z3 hints significantly decrease build time; can be updated after a successful build+test run via:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# tar -Jcf files/everparse-hints.tar.xz -C work lowparse.hints lowparse-tests.hints
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distfiles-append everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_configure no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.type gnu
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.env-append "FSTAR_OPTIONS=--hint_dir .hints --record_hints"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.args FSTAR_HOME=${prefix}/libexec/fstar-devel/home \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KREMLIN_HOME=${prefix}/libexec/kremlin-devel/home
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+pre-build {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Link .hint directories to the top-level directories we'll actually
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # package up everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ foreach {eph_src eph_dst} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lowparse.hints src/lowparse
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lowparse-tests.hints tests/lowparse
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ } {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ file mkdir ${workpath}/${eph_src}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ln -sf ${workpath}/${eph_src} ${worksrcpath}/${eph_dst}/.hints
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Install parser/serializer generator binary
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${worksrcpath}/_build/src/quackyducky.native \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${prefix}/bin/quackyducky
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ln -sf quackyducky ${destroot}${prefix}/bin/qd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Install our F* library
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ set lowparse_lib_dir ${prefix}/libexec/fstar-devel/lib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -d ${destroot}${lowparse_lib_dir}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ copy ${worksrcpath}/src/lowparse ${destroot}${lowparse_lib_dir}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fs-traverse {f} ${destroot}${lowparse_lib_dir}/lowparse {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ switch -glob -- "[file tail $f] [file type $f]" {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ {.hints link} -
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ {.gitignore file} -
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ {.depend file} -
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ {Makefile file} { delete $f }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.run yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.env {*}${build.env}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.args -j${build.jobs} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ {*}${build.args}
</span><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>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..a78b5ce
</span>Binary files /dev/null and b/devel/everparse/files/everparse-hints.tar.xz differ
</pre><pre style='margin:0'>
</pre>