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