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