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