<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c5bdb896ca988ea8a2cbe5541d7fc4ec9ea6253e">https://github.com/macports/macports-ports/commit/c5bdb896ca988ea8a2cbe5541d7fc4ec9ea6253e</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 c5bdb896ca9 abella: update to 2.0.8.3; new deps added: ocaml-base64, -crunch, -ptime
</span>c5bdb896ca9 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit c5bdb896ca988ea8a2cbe5541d7fc4ec9ea6253e
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Sun Jul 7 15:16:00 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    abella: update to 2.0.8.3; new deps added: ocaml-base64, -crunch, -ptime
</span>---
 math/abella/Portfile                  | 66 +++++++++++++++++++++++------------
 math/abella/files/patch-bytecode.diff | 19 ----------
 ocaml/ocaml-base64/Portfile           | 20 +++++++++++
 ocaml/ocaml-crunch/Portfile           | 23 ++++++++++++
 ocaml/ocaml-ptime/Portfile            | 23 ++++++++++++
 5 files changed, 109 insertions(+), 42 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/abella/Portfile b/math/abella/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index fdf596c73f7..0b5f5ceeebd 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/abella/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/abella/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,10 +1,10 @@
</span> # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
 
 PortSystem          1.0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup           ocaml 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        abella-prover abella 2.0.8.3 v
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-name                abella
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.0.7
</span> revision            0
 categories          math ocaml
 maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -14,37 +14,57 @@ long_description    Abella is an interactive theorem prover based on lambda-tree
</span>                     This means that Abella is well-suited for reasoning about the meta-theory \
                     of programming languages and other logical systems which manipulate objects with binding.
 homepage            https://abella-prover.org
<span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites        https://abella-prover.org/distributions
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  f6ea41a4def908c9ec9c44d8ad207d756fc5f8f2 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    215056
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  f80f8241eb543d515ed45c43a6cd45c40336595c \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  b2a67a8c8a275ac46c2f4578b29068386ffa180c5b37ffa539d217193f37c185 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    258223
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span> 
 depends_build-append \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:gmake \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:ocaml-findlib \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:ocaml-ocamlbuild
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-crunch \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-dune
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-patchfiles          patch-bytecode.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append  port:ocaml-base64 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-cmdliner \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-menhir \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-re \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-yojson
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-post-patch {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    reinplace "s|4-29-40-41-42-44-45-48-58-59-60|4-29-40-41-42-44-45-48-58-59-60-70|" \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    ${worksrcpath}/myocamlbuild.ml
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_test-append port:ocaml-ounit2
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-use_configure       no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.env-append    DUNE_CONFIG__COPY_FILE=portable
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/abella-prover/abella/issues/151
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {${configure.build_arch} in [list ppc ppc64]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.env-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    BYTECODE=true
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # Manual destroot does not need this, but keep it.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # destroot.env-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    BYTECODE=true
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-if {${build_arch} in [list ppc ppc64]} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    build.target    byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    test.target     test_byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    set exe_suf     .bc
</span> } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    build.target    all
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    test.target     test
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    set exe_suf     .exe
</span> }
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+use_configure       no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_parallel_build  no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.target        all-release abella.install
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> destroot {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 755 -d ${destroot}${prefix}/bin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    file copy ${worksrcpath}/${name} ${destroot}${prefix}/bin/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    foreach bin { abella abella_dep abella_doc } {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        copy ${worksrcpath}/_build/default/src/${bin}${exe_suf} ${destroot}${prefix}/bin/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -d ${destroot}${prefix}/share/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -d ${destroot}${prefix}/share/man
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    foreach f { abella.1 abella_dep.1 abella_doc.1 } {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        copy ${worksrcpath}/_build/default/src/${f} ${destroot}${prefix}/share/man/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    copy ${worksrcpath}/emacs ${destroot}${prefix}/share/${name}/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    copy ${worksrcpath}/examples ${destroot}${prefix}/share/${name}/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -m 0644 -W ${worksrcpath} CHANGES.md LICENSE README.md ${destroot}${prefix}/share/${name}/
</span> }
 
 test.run            yes
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/abella/files/patch-bytecode.diff b/math/abella/files/patch-bytecode.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index ef751b7c9ff..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/abella/files/patch-bytecode.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,19 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- Makefile.orig  2021-01-28 12:52:07.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ Makefile       2022-11-30 21:32:17.000000000 +0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -35,6 +35,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- .PHONY: byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- byte:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   $(OCB) src/abella.byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  cp -a _build/src/abella.byte abella
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- .PHONY: gitclean
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- gitclean:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -49,3 +50,8 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- test: all
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   $(OCB) -no-links test/test.native
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   _build/test/test.native
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+.PHONY: test_byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+test_byte: byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  $(OCB) test/test.byte
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  _build/test/test.byte
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-base64/Portfile b/ocaml/ocaml-base64/Portfile
</span>new file mode 100755
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..adaf4da1631
</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-base64/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,20 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           ocaml 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        mirage ocaml-base64 3.5.1 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          ocaml devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             ISC
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         Base64 encoding for OCaml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  7671d69089499e6cafc531fc1d62d3069111e11c \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  f3e8b9be43567689064b419fa5eefd9c758f00b864e9f731a0dbc1b9fecfc768 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    18986
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ocaml.build_type    dune
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-crunch/Portfile b/ocaml/ocaml-crunch/Portfile
</span>new file mode 100755
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..2e9b7ff8956
</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-crunch/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,23 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           ocaml 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        mirage ocaml-crunch 3.3.1 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          ocaml devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             ISC
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         Convert a filesystem into a static OCaml module
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  639162a5fc8cbe8fe6826e6a3fcc110583080bc4 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  998780470dad97099caa485f5783eed6fd8f643cec00840042938646b91eb04d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    60602
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append  port:ocaml-cmdliner \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-ptime
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ocaml.build_type    dune
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/ocaml/ocaml-ptime/Portfile b/ocaml/ocaml-ptime/Portfile
</span>new file mode 100755
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..f4510203994
</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-ptime/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,23 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           ocaml 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name                ocaml-ptime
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        dbuenzli ptime 1.1.0 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          ocaml devel
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             ISC
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         POSIX time for OCaml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            https://erratique.ch/software/ptime
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  c40495d3ff1b5868e0c7ca29d46f55ef73766863 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  09bcfbb0fb1c4bb4b8c23f94a26e7e813d1059452f9f44b5ab7154ef8e40f32d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    36927
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append  port:ocaml-cmdliner
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ocaml.build_type    topkg
</span></pre><pre style='margin:0'>

</pre>