<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/d6226e7ac432d1daf52f5c61a9a722b6a709e0e5">https://github.com/macports/macports-ports/commit/d6226e7ac432d1daf52f5c61a9a722b6a709e0e5</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit d6226e7ac432d1daf52f5c61a9a722b6a709e0e5
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Aug 24 15:29:01 2021 -0600
<span style='display:block; white-space:pre;color:#404040;'> everparse: update to 20210727-d61b5af
</span>---
devel/everparse/Portfile | 15 ++++++++-------
devel/everparse/files/everparse-hints.tar.xz | Bin 510268 -> 520704 bytes
devel/everparse/files/patch-add_FStar_Getopt.ml | 15 ++++++++-------
3 files changed, 16 insertions(+), 14 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 afced171649..d0ef8480932 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 538bda1a6d1320ea6ca145971a2f7875ac9b49a1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 20210510-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup project-everest everparse d61b5afa052aff422c146e3db297d257802c043d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20210727-[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,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 bbabfe2ce5fef9b07253d843e345ab660fe52ad3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 dcef346a622fcf33772cb8dd791b086a54906f8021d8a373264ca614d7745880 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 855003
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 369d843747ec78391e9ba4762c5e0044792b67fe \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 44df578f65e07df5c3c125707dd6c2417c8c5f9f2b26b2527f3e51adca63b0e3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 863604
</span>
depends_lib port:fstar-devel \
port:kremlin-devel \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -28,7 +28,8 @@ depends_lib port:fstar-devel \
</span> depends_build port:ocaml \
port:ocaml-ocamlbuild \
port:ocaml-batteries \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- port:ocaml-hex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-hex \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:ocaml-re
</span>
patchfiles patch-add_FStar_Getopt.ml \
patch-fix-tests-mkdir \
<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 690b19a580c..b2fa30d4aa6 100644
</span>Binary files a/devel/everparse/files/everparse-hints.tar.xz and b/devel/everparse/files/everparse-hints.tar.xz differ
<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 9a0f06b005d..f5534f82b6c 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;'>@@ -103,15 +103,16 @@
</span> +
+let cmdline () =
+ Array.to_list (Sys.argv)
<span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/3d/ocaml/Makefile.orig 2021-05-11 15:12:47.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/3d/ocaml/Makefile 2021-05-11 15:13:07.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -12,9 +12,6 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 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:#ffe0e0;'>- touch $@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/3d/ocaml/Makefile.orig 2021-08-24 12:06:57.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/3d/ocaml/Makefile 2021-08-24 12:08:30.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -10,10 +10,6 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ all: generated/FStar_Getopt.ml $(filter-out %~,$(wildcard *.ml*)) dune
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ dune build
</span>
-generated/FStar_Getopt.ml: $(FSTAR_HOME)/src/basic/ml/FStar_Getopt.ml
<span style='display:block; white-space:pre;background:#e0ffe0;'>+- mkdir -p $(dir $@)
</span> - cp $^ $@
-
<span style='display:block; white-space:pre;background:#ffe0e0;'>- clean:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- rm -rf _build generated *~
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ clean-local:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rm -rf _build *~ dune dune.tmp
</span>
</pre><pre style='margin:0'>
</pre>