<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/cbc804197039e58d9d8071329738854a825bbfd3">https://github.com/macports/macports-ports/commit/cbc804197039e58d9d8071329738854a825bbfd3</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit cbc804197039e58d9d8071329738854a825bbfd3
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Wed Oct 2 17:10:33 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    fstar_select: integrate kremlin_select as a subport
</span>---
 sysutils/fstar_select/files/{base => base.in} |  0
 sysutils/kremlin_select/Portfile              | 33 ---------------------------
 sysutils/kremlin_select/files/base            |  2 --
 sysutils/kremlin_select/files/none            |  2 --
 4 files changed, 37 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/files/base b/sysutils/fstar_select/files/base.in
</span>similarity index 100%
rename from sysutils/fstar_select/files/base
rename to sysutils/fstar_select/files/base.in
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/kremlin_select/Portfile b/sysutils/kremlin_select/Portfile
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index b2986c8..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/kremlin_select/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,33 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# -*- 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:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup           select 1.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-name                kremlin_select
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             1.2
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-categories          sysutils lang
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-platforms           darwin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-maintainers         {landonf @landonf} openmaintainer
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-license             BSD
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-supported_archs     noarch
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-description         common files for selecting default kremlin version
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-long_description \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    kremlin_select installs files that allow 'port select' to switch the \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    default KreMLin compiler. It creates unsuffixed symlinks in the \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    MacPorts prefix that point to the selected version.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage            https://fstar-lang.org
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-distfiles
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-use_configure       no
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build               {}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-destroot {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    select::install kremlin ${filespath}/base
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    select::install kremlin ${filespath}/none
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.type      none
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/kremlin_select/files/base b/sysutils/kremlin_select/files/base
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index abbc9a9..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/kremlin_select/files/base
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,2 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-bin/krml
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-share/doc/kremlin
</span>\ No newline at end of file
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/kremlin_select/files/none b/sysutils/kremlin_select/files/none
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 50c2753..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/kremlin_select/files/none
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,2 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--
</span>\ No newline at end of file
</pre><pre style='margin:0'>

</pre>