<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>