<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/682b78e9d8be9ffeef37fc8c85086f84fe31cd6e">https://github.com/macports/macports-ports/commit/682b78e9d8be9ffeef37fc8c85086f84fe31cd6e</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 682b78e9d8b abella: new port in math
</span>682b78e9d8b is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 682b78e9d8be9ffeef37fc8c85086f84fe31cd6e
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Wed Nov 30 20:27:14 2022 +0800

<span style='display:block; white-space:pre;color:#404040;'>    abella: new port in math
</span>---
 math/abella/Portfile                  | 51 +++++++++++++++++++++++++++++++++++
 math/abella/files/patch-bytecode.diff | 19 +++++++++++++
 2 files changed, 70 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/abella/Portfile b/math/abella/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..fdf596c73f7
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/abella/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,51 @@
</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           ocaml 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name                abella
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2.0.7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          math ocaml
</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             GPL-3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         Interactive theorem prover
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    Abella is an interactive theorem prover based on lambda-tree syntax. \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    This means that Abella is well-suited for reasoning about the meta-theory \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    of programming languages and other logical systems which manipulate objects with binding.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            https://abella-prover.org
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites        https://abella-prover.org/distributions
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  f6ea41a4def908c9ec9c44d8ad207d756fc5f8f2 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    215056
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:gmake \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-findlib \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-ocamlbuild
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles          patch-bytecode.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-patch {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    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:#e0ffe0;'>+                    ${worksrcpath}/myocamlbuild.ml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_configure       no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {${build_arch} in [list ppc ppc64]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.target    byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    test.target     test_byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+} else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.target    all
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    test.target     test
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -m 755 -d ${destroot}${prefix}/bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    file copy ${worksrcpath}/${name} ${destroot}${prefix}/bin/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.run            yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.cmd            ${build.cmd}
</span><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>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..ef751b7c9ff
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/abella/files/patch-bytecode.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,19 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- Makefile.orig  2021-01-28 12:52:07.000000000 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ Makefile       2022-11-30 21:32:17.000000000 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -35,6 +35,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ .PHONY: byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ byte:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(OCB) src/abella.byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  cp -a _build/src/abella.byte abella
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ .PHONY: gitclean
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ gitclean:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -49,3 +50,8 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ test: all
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(OCB) -no-links test/test.native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   _build/test/test.native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++.PHONY: test_byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++test_byte: byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  $(OCB) test/test.byte
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  _build/test/test.byte
</span></pre><pre style='margin:0'>

</pre>