<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/be7dca27bfe3e9773cdc4ac91d73d03247729ad8">https://github.com/macports/macports-ports/commit/be7dca27bfe3e9773cdc4ac91d73d03247729ad8</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 be7dca27bfe ocaml-hacl-star: add missing python38 dependency to depends_build
</span>be7dca27bfe is described below
<span style='display:block; white-space:pre;color:#808000;'>commit be7dca27bfe3e9773cdc4ac91d73d03247729ad8
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Sep 2 21:22:51 2021 -0600
<span style='display:block; white-space:pre;color:#404040;'> ocaml-hacl-star: add missing python38 dependency to depends_build
</span>---
ocaml/ocaml-hacl-star/Portfile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
<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 a092dfd9d99..463d94ce474 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;'>@@ -66,6 +66,7 @@ subport ocaml-hacl-star-raw {
</span> ocaml.use_findlib yes
use_configure no
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ depends_build-append port:python38
</span> depends_lib-append port:ocaml-ctypes
# Common make arguments
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -73,7 +74,8 @@ subport ocaml-hacl-star-raw {
</span> FSTAR_HOME="${prefix}/libexec/fstar/home" \
KREMLIN_HOME="${prefix}/libexec/kremlin/home" \
VALE_HOME="${worksrcpath}/${vale.distname}" \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- OPENSSL_HOME="${prefix}/lib"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ OPENSSL_HOME="${prefix}/lib" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ PYTHON3="${prefix}/bin/python3.8"
</span>
build.cmd ${prefix}/bin/gmake
build.args-append {*}${hacl-star.make_args}
</pre><pre style='margin:0'>
</pre>