<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/ec552d6cd57b3395fe1a08cf61bbc61ac4e15beb">https://github.com/macports/macports-ports/commit/ec552d6cd57b3395fe1a08cf61bbc61ac4e15beb</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 ec552d6  kremlin(-devel): Provide a 'kremlib' compatibility symlink
</span>ec552d6 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit ec552d6cd57b3395fe1a08cf61bbc61ac4e15beb
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Oct 17 14:59:29 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    kremlin(-devel): Provide a 'kremlib' compatibility symlink
</span>---
 lang/fstar/Portfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

<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 ef135b0..49378a3 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;'>@@ -178,7 +178,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            4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            5
</span> 
     distname            v${version}
     worksrcdir          kremlin-${version}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -214,6 +214,7 @@ subport kremlin {
</span> subport kremlin-devel {
     github.setup        ${github.author} ${fstar.project} 2f84363322ac9cf3e1ac8275303faf568a41b88b
     version             ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            1
</span> 
     checksums           rmd160  0862ea03f407d0388724a717a3a4e2b1d976a703 \
                         sha256  f7e22305f45cee34beea111e97337256e9119ac1b42ffd2d93823f4a812e3a25 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -315,6 +316,12 @@ if {${fstar.project} eq "fstar"} {
</span>         reinplace {s|\$(FSTAR_HOME)/examples|$(FSTAR_HOME)/share/fstar/examples|g} \
             test/Makefile
     }
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    post-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Provide a 'kremlib' compatibility symlink for projects
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # that expect kremlin's source layout in KREMLIN_HOME
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        ln -shf lib/kremlin ${destroot}${kremlin.home}/kremlib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span> }
 
 #
</pre><pre style='margin:0'>

</pre>