<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/71bebf1aa1fc52a2c29f35be77923c09189fd366">https://github.com/macports/macports-ports/commit/71bebf1aa1fc52a2c29f35be77923c09189fd366</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 71bebf1aa1fc52a2c29f35be77923c09189fd366
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Sep 27 18:00:25 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    fstar_select: new port
</span>---
 sysutils/fstar_select/Portfile   | 33 +++++++++++++++++++++++++++++++++
 sysutils/fstar_select/files/base |  2 ++
 sysutils/fstar_select/files/none |  2 ++
 3 files changed, 37 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/Portfile b/sysutils/fstar_select/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..4b45dbc
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</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;'>@@ -0,0 +1,33 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- 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:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           select 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name                fstar_select
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             1.2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          sysutils lang
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platforms           darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {landonf @landonf} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             BSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+supported_archs     noarch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         common files for selecting default fstar version
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar_select installs files that allow 'port select' to switch the \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    default F* 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;'>+homepage            https://fstar-lang.org
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distfiles
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_configure       no
</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;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    select::install fstar ${filespath}/base
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    select::install fstar ${filespath}/none
</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;'>+livecheck.type      none
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/files/base b/sysutils/fstar_select/files/base
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..a2f7b99
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/sysutils/fstar_select/files/base
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,2 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+bin/fstar
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+share/doc/fstar
</span>\ No newline at end of file
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/sysutils/fstar_select/files/none b/sysutils/fstar_select/files/none
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 0000000..50c2753
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</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;'>@@ -0,0 +1,2 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-
</span>\ No newline at end of file
</pre><pre style='margin:0'>

</pre>