<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/f7bde1a3c0383b65db86b4b746c12e86741950da">https://github.com/macports/macports-ports/commit/f7bde1a3c0383b65db86b4b746c12e86741950da</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new f7bde1a  fstar: add a 'home' subdirectory for compatibility with FSTAR_HOME/KREMLIN_HOME, and document usage in the port's notes.
</span>f7bde1a is described below

<span style='display:block; white-space:pre;color:#808000;'>commit f7bde1a3c0383b65db86b4b746c12e86741950da
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Oct 21 18:25:58 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    fstar: add a 'home' subdirectory for compatibility with FSTAR_HOME/KREMLIN_HOME, and document usage in the port's notes.
</span>---
 lang/fstar/Portfile | 61 ++++++++++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 56 insertions(+), 5 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 be333a1..89fa43d 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;'>@@ -146,7 +146,7 @@ if {${fstar.project} eq "fstar"} {
</span> # Subport-specific configuration
 subport fstar {
     github.setup        ${github.author} ${github.project} ${fstar.version} V
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            5
</span> 
     distname            V${version}
     checksums           rmd160  bec45d793880ecf815bdc3d79cdb58f7f6ba7414 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -159,6 +159,7 @@ subport fstar {
</span> subport fstar-devel {
     github.setup        ${github.author} ${github.project} e7470859142b9e23ddb9066085d863900421dfe9
     version             ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            1
</span> 
     checksums           rmd160  ae54b9427ed68d0279da35c96c3dd8a276353d1a \
                         sha256  a8d14a9ab60452abe1ab645e81ce6804056fabd14f699012cfa7d141e4ae3719 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -178,7 +179,7 @@ subport fstar-devel {
</span> 
 subport kremlin {
     github.setup        ${github.author} ${fstar.project} 0.9.6.0 v
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            5
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            6
</span> 
     distname            v${version}
     worksrcdir          kremlin-${version}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -214,6 +215,7 @@ subport kremlin {
</span> subport kremlin-devel {
     github.setup        ${github.author} ${fstar.project} e324b7e63e24d0822e753051b9dc7f7ab294bc00
     version             ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            1
</span> 
     checksums           rmd160  b02e8630d700b8065bd83f3938bf5806d74e4d22 \
                         sha256  be69d4ae8d7f0f38675addc29bf4dae4879805dfe94abba41b3d81a6e2829999 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -290,8 +292,29 @@ if {${fstar.project} eq "fstar"} {
</span> 
         # Provide a link to our z3 binary
         ln -shf ../../z3-fstar/bin/z3 ${destroot}${fstar.home}/bin/z3
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Provide a "home" symlink for symmetry with the KreMLin port's
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # "home" directory
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        ln -shf . ${destroot}${fstar.home}/home
</span>     }
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    notes "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    To select fstar-${fstar.release} as your default F* toolchain, please run:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      sudo port select fstar ${subport}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    To use your default F* toolchain with most standard Makefile-based F* projects,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    pass FSTAR_HOME to the build as either an environmental variable,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    or make(1) parameter:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      FSTAR_HOME=\"${prefix}/libexec/fstar/home\"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    Alternatively, you may use fstar-${fstar.release} explicitly:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      FSTAR_HOME=\"${fstar.home}/home\"
</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;'>+
</span> # Apply shared kremlin/kremlin-devel subport configuration
 } elseif {${fstar.project} eq "kremlin"} {
     # If we specify PREFIX=${kremlin.home} in our build.args, a fixed path to
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -317,10 +340,38 @@ if {${fstar.project} eq "fstar"} {
</span>     }
 
     post-destroot {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        # Provide a 'kremlib' compatibility symlink for projects
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        # that expect kremlin's source layout in KREMLIN_HOME
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        ln -shf lib/kremlin ${destroot}${kremlin.home}/kremlib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Provide compatibility symlinks for projects that expect KreMLin's
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # source layout
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        set kremlin_compat_home ${destroot}${kremlin.home}/home
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        xinstall -d -m 755 ${kremlin_compat_home}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        foreach {kremlin_src kremlin_dest} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            lib/kremlin             kremlib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            bin/krml                krml
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            share/kremlin/misc      misc
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        } {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            ln -shf \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                ../${kremlin_src} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                ${kremlin_compat_home}/${kremlin_dest}
</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;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    notes "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    To select kremlin-${fstar.release} as your default KreMLin toolchain, please run:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      sudo port select kremlin ${subport}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    To use your default KreMLin toolchain with most standard Makefile-based F*/KreMLin projects,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    pass KREMLIN_HOME to the build as either an environmental variable,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    or make(1) parameter:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      KREMLIN_HOME=\"${prefix}/libexec/kremlin/home\"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    Alternatively, you may use kremlin-${fstar.release} explicitly:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+      KREMLIN_HOME=\"${kremlin.home}/home\"
</span><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>