<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/9da118cd6c07b0222fd95f863e1e9b93b87eaad7">https://github.com/macports/macports-ports/commit/9da118cd6c07b0222fd95f863e1e9b93b87eaad7</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 9da118cd6c07b0222fd95f863e1e9b93b87eaad7
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue May 11 10:25:16 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20210510-538bda1
</span>---
 devel/everparse/Portfile                        | 11 ++++++-----
 devel/everparse/files/patch-add_FStar_Getopt.ml | 16 ++++++++--------
 2 files changed, 14 insertions(+), 13 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 1aa10f31668..8e0364f6c46 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,8 +4,8 @@ PortSystem          1.0
</span> PortGroup github    1.0
 
 name                everparse
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        project-everest everparse 06072a6cbdb2b266a8a754f6d19981301e80c11e
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20210113-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse 538bda1a6d1320ea6ca145971a2f7875ac9b49a1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20210510-[string range ${github.version} 0 6]
</span> revision            0
 
 categories          devel
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -17,9 +17,9 @@ 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  8303906fccd1bd316ea4ff6457dd7e24787aa4d2 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  18eae5bbd394bf6bf18fb081b1cfef7219688506902c04a699dfa01cfd2d954e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    813704
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  bbabfe2ce5fef9b07253d843e345ab660fe52ad3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  dcef346a622fcf33772cb8dd791b086a54906f8021d8a373264ca614d7745880 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    855003
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -79,6 +79,7 @@ pre-build {
</span>         src/3d
         src/3d/prelude
         tests/lowparse
<span style='display:block; white-space:pre;background:#e0ffe0;'>+        tests/sample0
</span>         tests/sample
         tests/bitfields
         tests/unit
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/patch-add_FStar_Getopt.ml b/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;color:#808080;'>index d57236d45aa..9a0f06b005d 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,5 +1,5 @@
</span> --- /dev/null     2020-08-03 16:34:50.831886000 -0600
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/3d/ocaml/FStar_Getopt.ml        2020-08-03 16:33:20.493842000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/3d/ocaml/generated/FStar_Getopt.ml 2020-08-03 16:33:20.493842000 -0600
</span> @@ -0,0 +1,102 @@
 +let noshort = 0
 +type 'a opt_variant =
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -103,15 +103,15 @@
</span> +
 +let cmdline () =
 +   Array.to_list (Sys.argv)
<span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/3d/ocaml/Makefile.orig  2020-08-18 00:07:51.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/3d/ocaml/Makefile  2020-08-25 17:08:26.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -4,9 +4,6 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   rm -f Main.native
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   OCAMLPATH="$(FSTAR_HOME)/bin" ocamlbuild -tag debug -use-menhir -tag thread -use-ocamlfind -quiet -pkg batteries -pkg menhirLib -pkg fstarlib -pkg process -cflags -w,-8 Main.native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/3d/ocaml/Makefile.orig     2021-05-11 15:12:47.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/3d/ocaml/Makefile  2021-05-11 15:13:07.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -12,9 +12,6 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   ocamlbuild -I generated -tag debug -use-menhir -tag thread -use-ocamlfind -quiet -pkg batteries -pkg menhirLib -pkg fstarlib -pkg process -pkg hacl-star -pkg yojson -cflags -w,-8 Main.native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   touch $@
</span>  
<span style='display:block; white-space:pre;background:#ffe0e0;'>--FStar_Getopt.ml: $(FSTAR_HOME)/src/basic/ml/FStar_Getopt.ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-generated/FStar_Getopt.ml: $(FSTAR_HOME)/src/basic/ml/FStar_Getopt.ml
</span> - cp $^ $@
 -
  clean:
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        rm -rf _build Main.native *~
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   rm -rf _build generated *~
</span>  
</pre><pre style='margin:0'>

</pre>