<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/aff9d312e6a2f43602fe124f9e4afd8a0a68b32c">https://github.com/macports/macports-ports/commit/aff9d312e6a2f43602fe124f9e4afd8a0a68b32c</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 aff9d31  kremlin(-devel): do not install unnecessary (and broken) gcc dependency (-MD) files
</span>aff9d31 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit aff9d312e6a2f43602fe124f9e4afd8a0a68b32c
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Oct 28 11:39:32 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    kremlin(-devel): do not install unnecessary (and broken) gcc dependency (-MD) files
</span>---
 lang/fstar/Portfile | 16 ++++++++++++++--
 1 file changed, 14 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 b4a7a7e..3be1fe7 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;'>@@ -179,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            7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            8
</span> 
     distname            v${version}
     worksrcdir          kremlin-${version}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -216,7 +216,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:#ffe0e0;'>-    revision            2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            3
</span> 
     checksums           rmd160  b02e8630d700b8065bd83f3938bf5806d74e4d22 \
                         sha256  be69d4ae8d7f0f38675addc29bf4dae4879805dfe94abba41b3d81a6e2829999 \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -342,6 +342,18 @@ if {${fstar.project} eq "fstar"} {
</span>     }
 
     post-destroot {
<span style='display:block; white-space:pre;background:#e0ffe0;'>+        # KreMLin-specific cleanup up the installed files.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        fs-traverse {f} ${destroot}${fstar.subport.home} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            switch -glob -- "[file tail $f] [file type $f]" {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                {*.d file} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    # Delete KreMLin's GCC dependency (-MD) files; these contain the build's
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    # worksrcpath, and even with the correct paths, would not be useful to
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    # library consumers
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    delete $f
</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;'>+
</span>         # Provide a link to our fstar binary
         ln -shf ${fstar.home}/bin/${fstar.bin} ${destroot}${kremlin.home}/bin/${fstar.bin}
 
</pre><pre style='margin:0'>

</pre>