<pre style='margin:0'>
Herby Gillot (herbygillot) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/66d5b5d4fbec35552004e2d0153a587caace8d25">https://github.com/macports/macports-ports/commit/66d5b5d4fbec35552004e2d0153a587caace8d25</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 66d5b5d4fbe twelf: new port in lang/math
</span>66d5b5d4fbe is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 66d5b5d4fbec35552004e2d0153a587caace8d25
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Tue Jul 25 11:11:54 2023 +0800

<span style='display:block; white-space:pre;color:#404040;'>    twelf: new port in lang/math
</span>---
 lang/twelf/Portfile | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/twelf/Portfile b/lang/twelf/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..53aa72b61fe
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/twelf/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,44 @@
</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           makefile 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name                twelf
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             1.7.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          lang math
</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             BSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         Meta-logical framework for deductive systems
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            http://twelf.org/wiki/Main_Page
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites        http://twelf.org/releases \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    http://www.cs.cmu.edu/~twelf/dist
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distname            ${name}-src-${version}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  97d395125154d0ec7f5ef4e9e7441cda1c2943c3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1147610
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+extract.rename      yes
</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:smlnj
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_run-append  port:smlnj
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.target        smlnj
</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;'>+    set heapdir ${prefix}/libexec/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    set datadir ${prefix}/share/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -d ${destroot}${heapdir}/bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -d ${destroot}${datadir}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    reinplace "s|${worksrcpath}|${heapdir}|" ${worksrcpath}/bin/${name}-server
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -m 0775 ${worksrcpath}/bin/${name}-server ${destroot}${prefix}/bin/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    copy ${worksrcpath}/bin/\.heap ${destroot}${heapdir}/bin/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -m 0644 -W ${worksrcpath} LICENSE README ${destroot}${datadir}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    foreach dir {doc emacs examples examples-clp examples-delphin tex vim} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        copy ${worksrcpath}/${dir} ${destroot}${datadir}/
</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;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+universal_variant   no
</span></pre><pre style='margin:0'>

</pre>