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