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

<span style='display:block; white-space:pre;color:#404040;'>    fstar: add select entry for libexec/(fstar|kremlin)
</span>---
 lang/fstar/Portfile              | 3 ++-
 lang/fstar/files/fstar-select.in | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/Portfile b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 7ae6c33..4b17118 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -73,7 +73,7 @@ foreach key {home doc_dirs bin port select_name} {
</span> # Common fstar/fstar-devel configuration
 if {${fstar.project} eq "fstar"} {
     github.project          FStar
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision                3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision                4
</span>     license                 MIT
     description             General-purpose functional language aimed at program verification
     long_description        F* (pronounced F star) is a general-purpose \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -116,6 +116,7 @@ if {${fstar.project} eq "fstar"} {
</span> # Common kremlin/kremlin-devel configuration
 } elseif {${fstar.project} eq "kremlin"} {
     github.project          kremlin
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision                1
</span>     license                 Apache-2
     description             A tool for extracting low-level F* programs to readable C code
     long_description        KreMLin is a tool that extracts an F* program to readable C code.
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar-select.in b/lang/fstar/files/fstar-select.in
</span><span style='display:block; white-space:pre;color:#808080;'>index 5c671f3..3193910 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/fstar-select.in
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/fstar-select.in
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,2 +1,3 @@
</span> libexec/@FSTAR_PROJECT@-@FSTAR_RELEASE@/bin/@FSTAR_BIN@
<span style='display:block; white-space:pre;background:#ffe0e0;'>-share/doc/@FSTAR_PROJECT@-@FSTAR_RELEASE@
</span>\ No newline at end of file
<span style='display:block; white-space:pre;background:#e0ffe0;'>+share/doc/@FSTAR_PROJECT@-@FSTAR_RELEASE@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+libexec/@FSTAR_PROJECT@-@FSTAR_RELEASE@
</span>\ No newline at end of file
</pre><pre style='margin:0'>

</pre>