<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/2207ee9d19668895f73f192537f3d5ac45e04c31">https://github.com/macports/macports-ports/commit/2207ee9d19668895f73f192537f3d5ac45e04c31</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 2207ee9d19668895f73f192537f3d5ac45e04c31
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Aug 24 12:43:40 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    ocaml-hacl-star: update to 20210824-4b197eb
</span>---
 ocaml/ocaml-hacl-star/Portfile                             | 14 +++++++++-----
 ocaml/ocaml-hacl-star/files/patch-Makefile.diff            | 10 +++++-----
 .../ocaml-hacl-star/files/patch-dist-configure-use-gmktemp | 14 ++++++++++++++
 3 files changed, 28 insertions(+), 10 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-hacl-star/Portfile b/ocaml/ocaml-hacl-star/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 05b64320a51..db7e10afde3 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/ocaml/ocaml-hacl-star/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/ocaml/ocaml-hacl-star/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -5,8 +5,8 @@ PortGroup github    1.0
</span> PortGroup ocaml     1.1
 
 name                ocaml-hacl-star
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        project-everest hacl-star bd790d3c2b6548d877f57437bf2bd1e32ba88249
</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:#e0ffe0;'>+github.setup        project-everest hacl-star 4b197eb54b41056e6c051f0162cf57a50ad5b380
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20210824-[string range ${github.version} 0 6]
</span> 
 categories          ocaml devel security
 maintainers         {landonf @landonf} openmaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -32,12 +32,13 @@ master_sites-append https://github.com/project-everest/vale/releases/download/v$
</span> distfiles-append    ${vale.distfile}:bootstrap
 
 patchfiles          patch-Makefile.diff \
<span style='display:block; white-space:pre;background:#e0ffe0;'>+                    patch-dist-configure-use-gmktemp \
</span>                     patch-dist-gcc-compatible-use-install_name
 
 checksums           ${distname}${extract.suffix} \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  8a1303b055b040b8aeb33e2d5de61516282a215b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  cc7539b6efeb310dbab96328b2fb9751f9ff681774167f12f22fd446533957d1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    8811328 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  1e42daa92a9857126839c67d03e6d2f801f30cd6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  c9055c3a73ca8bc5308b5fea2be3431c2e762fb65da077c5ef6066832411b6d5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    8962430 \
</span>                     ${vale.distfile} \
                     rmd160  32eeb48eb90ce19703175904f600bc4d94973cbc \
                     sha256  1bb1af63258c1e8dad7431b259d09480d07d345b386d52262f63f9e119faf4cd \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -76,6 +77,9 @@ subport ocaml-hacl-star-raw {
</span>     build.cmd           ${prefix}/bin/gmake
     build.args-append   {*}${hacl-star.make_args}
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    # XXX: Avoid hitting SMT verification rlimit on macOS
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.args-append   OTHERFLAGS="--z3rlimit_factor 32"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>     destroot.dir        ${worksrcpath}/dist/gcc-compatible
     destroot.target     install-hacl-star-raw
     destroot.args-append {*}${hacl-star.make_args}
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-hacl-star/files/patch-Makefile.diff b/ocaml/ocaml-hacl-star/files/patch-Makefile.diff
</span><span style='display:block; white-space:pre;color:#808080;'>index 65473a91c60..80afb6ec2e7 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/ocaml/ocaml-hacl-star/files/patch-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/ocaml/ocaml-hacl-star/files/patch-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +1,11 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- Makefile.orig  2021-05-10 11:16:08.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ Makefile       2021-05-11 12:46:03.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -1126,8 +1126,6 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ###################################################################################
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- Makefile.orig
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -1135,7 +1135,7 @@ dist/test/c/Hacl_Test_ECDSA.c: KRML_EXTRA=-drop Lib.IntTypes.Intrinsics -add-inc
</span>  
  copy-kremlib:
<span style='display:block; white-space:pre;background:#ffe0e0;'>--       mkdir -p dist/kremlin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   mkdir -p dist/kremlin
</span> - (cd $(KREMLIN_HOME) && tar cvf - kremlib/dist/minimal include) | (cd dist/kremlin && tar xf -)
<span style='display:block; white-space:pre;background:#e0ffe0;'>++       (cd $(KREMLIN_HOME) && tar Lcvf - kremlib/dist/minimal include) | (cd dist/kremlin && tar xf -)
</span>  
  compile-%: dist/Makefile.tmpl dist/configure dist/%/Makefile.basic | copy-kremlib
        cp $< dist/$*/Makefile
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-hacl-star/files/patch-dist-configure-use-gmktemp b/ocaml/ocaml-hacl-star/files/patch-dist-configure-use-gmktemp
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..61dc5f99577
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/ocaml/ocaml-hacl-star/files/patch-dist-configure-use-gmktemp
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,14 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- dist/configure
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ dist/configure
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -15,9 +15,9 @@ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ my_mktemp () {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   local name=$1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   local ext=$2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  local f=$(mktemp --suffix=$ext /tmp/$name.XXXXXXX)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  local f=$(gmktemp --suffix=$ext /tmp/$name.XXXXXXX)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   if [[ $f == "" ]]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    local f=$(mktemp -p . --suffix=$ext $name.XXXXXXX)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    local f=$(gmktemp -p . --suffix=$ext $name.XXXXXXX)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   echo $f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span></pre><pre style='margin:0'>

</pre>