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

<span style='display:block; white-space:pre;color:#404040;'>    fstar_select: add libexec/(fstar|kremlin)
</span>---
 sysutils/fstar_select/Portfile      | 38 +++++++++++++++++++++++++++++++++----
 sysutils/fstar_select/files/base.in |  5 +++--
 sysutils/fstar_select/files/none    |  3 ++-
 3 files changed, 39 insertions(+), 7 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/Portfile b/sysutils/fstar_select/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 4b45dbc..360f652 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/fstar_select/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/sysutils/fstar_select/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,7 +4,7 @@ PortSystem          1.0
</span> PortGroup           select 1.0
 
 name                fstar_select
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             1.2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             1.3
</span> 
 categories          sysutils lang
 platforms           darwin
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -23,11 +23,41 @@ distfiles
</span> 
 use_configure       no
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-build               {}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+options fstar.project \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        fstar.bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fstar.project       fstar
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fstar.bin           fstar
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+subport kremlin_select {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    description         common files for selecting default kremlin version
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    long_description \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        kremlin_select installs files that allow 'port select' to switch the \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        default KreMLin compiler. It creates unsuffixed symlinks in the \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        MacPorts prefix that point to the selected version.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.project   kremlin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.bin       krml
</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;'>+build {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    file mkdir ${worksrcpath}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    copy -- ${filespath}/base.in \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        ${worksrcpath}/base
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    foreach {fstar_key fstar_var} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        @FSTAR_PROJECT@     fstar.project
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        @FSTAR_BIN@         fstar.bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    } {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        reinplace "s|${fstar_key}|[set ${fstar_var}]|g" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            ${worksrcpath}/base
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span> 
 destroot {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    select::install fstar ${filespath}/base
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    select::install fstar ${filespath}/none
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    select::install ${fstar.project} ${worksrcpath}/base
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    select::install ${fstar.project} ${filespath}/none
</span> }
 
 livecheck.type      none
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/files/base.in b/sysutils/fstar_select/files/base.in
</span><span style='display:block; white-space:pre;color:#808080;'>index a2f7b99..313e711 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/fstar_select/files/base.in
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/sysutils/fstar_select/files/base.in
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,2 +1,3 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-bin/fstar
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-share/doc/fstar
</span>\ No newline at end of file
<span style='display:block; white-space:pre;background:#e0ffe0;'>+bin/@FSTAR_BIN@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+share/doc/@FSTAR_PROJECT@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+libexec/@FSTAR_PROJECT@
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/files/none b/sysutils/fstar_select/files/none
</span><span style='display:block; white-space:pre;color:#808080;'>index 50c2753..fc9c246 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/sysutils/fstar_select/files/none
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/sysutils/fstar_select/files/none
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,2 +1,3 @@
</span> -
<span style='display:block; white-space:pre;background:#ffe0e0;'>--
</span>\ No newline at end of file
<span style='display:block; white-space:pre;background:#e0ffe0;'>+-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-
</span></pre><pre style='margin:0'>

</pre>