<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/8a1502838ae94f1933e99eccdf4e4450258f57e8">https://github.com/macports/macports-ports/commit/8a1502838ae94f1933e99eccdf4e4450258f57e8</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 8a1502838ae94f1933e99eccdf4e4450258f57e8
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Jan 13 21:34:10 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200113-(9aa6dfd|718e52a)
</span>---
 lang/fstar/Portfile                                | 40 ++++++++--------------
 .../patch-clang-driver-options                     |  8 ++---
 .../patch-clang-driver-options                     |  0
 3 files changed, 19 insertions(+), 29 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 0d87544..6f2d20e 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;'>@@ -45,7 +45,7 @@ if {${fstar.stable}} {
</span>     # Strip everything but <major>.<minor>
     fstar.release       [regsub {^([^\.]+\.[^\.]+).*} ${fstar.version} {\1}]
 } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    fstar.version       20191129
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200113
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -124,8 +124,6 @@ if {${fstar.project} eq "fstar"} {
</span>     description             A tool for extracting low-level F* programs to readable C code
     long_description        KreMLin is a tool that extracts an F* program to readable C code.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles              kremlin/patch-clang-driver-options
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span>     depends_run-append      port:kremlin_select
 
     depends_build-append    port:gsed
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -157,24 +155,14 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} 469ad10d993d82364993f225ba48004119b7d073
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} 9aa6dfd890d46772fd343c8f884a267710b6ec95
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  4dae34cd7b596dc8725e07e1b8d9f928040c093d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  04d811cccd06cd3354a92aa717e66b03fac1bff2bfbdc8d8ec3d9a1e75df62a4 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7336672
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  94e642bdeb9bf47e459a3c1f023d9a8c8ec604f1 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  6c8e28823c0f08e8ff3bbd0964ed57c44d6d7a67b4403592b19d98124b12ccfc \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7342606
</span>     github.tarball_from tarball
<span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    post-patch {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        # Disable the known-broken kv_parsing test
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        if {${github.version} ne "469ad10d993d82364993f225ba48004119b7d073"} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            ui_error "Please verify that the kv_parsing test is still broken" 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        }
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        reinplace -E {s|^kv_parsing.*|\\|g} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            examples/Makefile
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    }
</span> }
 
 subport kremlin {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -187,7 +175,8 @@ subport kremlin {
</span>     # Updated z3 hints; can be generated after a valid test run via:
     #   tar -Jcf files/kremlin-0.9.6.0-test-hints.tar.xz -C work kremlin-0.9.6.0/test/.hints
     distfiles-append    kremlin-stable/kremlin-${version}-test-hints.tar.xz
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles-append   kremlin-stable/patch-fstar-0.9.7.0 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles-append   kremlin-stable/patch-clang-driver-options \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        kremlin-stable/patch-fstar-0.9.7.0 \
</span>                         kremlin-stable/patch-fstar-discover-path \
                         kremlin-stable/patch-fix-make-command
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -214,15 +203,16 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} dc80e6cc827754952e49793a77896239843cadf0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 718e52a451af7f5ad0ac0d249e682190b33b44b7
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  84a191e0ca3fb9e5032de25a0210718221fe16b9 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  f6e1026894cb04d021e58ebe8ffbda273bcfba28c8f9c45c715351ccf7b1ec48 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    744374
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  f1e70845449a61adc5735998f7637175ab8c9e3e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  49ead06040cd9fa21f14c73db6e290ebf11933fea355e1331db99d50cfb2fa15 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    739001
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles-append   kremlin-devel/patch-fix-make-command \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles-append   kremlin-devel/patch-clang-driver-options \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        kremlin-devel/patch-fix-make-command \
</span>                         kremlin-devel/patch-fstar-discover-path \
                         kremlin-devel/patch-test_system_system.h
 
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-clang-driver-options b/lang/fstar/files/kremlin-devel/patch-clang-driver-options
</span>similarity index 90%
copy from lang/fstar/files/kremlin/patch-clang-driver-options
copy to lang/fstar/files/kremlin-devel/patch-clang-driver-options
<span style='display:block; white-space:pre;color:#808080;'>index 9fbf711..b904cc1 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin/patch-clang-driver-options
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/kremlin-devel/patch-clang-driver-options
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,6 +1,6 @@
</span> --- src/Options.ml.orig   2019-08-20 08:05:43.000000000 -0600
 +++ src/Options.ml     2019-09-09 11:04:27.000000000 -0600
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -24,7 +24,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -20,7 +20,7 @@
</span>  let verbose = ref false
  let silent = ref false
  let exe_name = ref ""
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -9,12 +9,12 @@
</span>  let m32 = ref false
  let fsopts: string list ref = ref []
  let ccopts: string list ref = ref []
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -72,16 +72,21 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -74,16 +74,21 @@
</span>      "-ccopts";
      "-Wall,-Werror,-Wno-unused-variable," ^
      "-Wno-unknown-warning-option,-Wno-unused-but-set-variable," ^
<span style='display:block; white-space:pre;background:#ffe0e0;'>--    "-g,-fwrapv,-fstack-check,-D_BSD_SOURCE,-D_DEFAULT_SOURCE" ^
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+    "-g,-fwrapv,-fstack-check" ^
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    "-g,-fwrapv,-D_BSD_SOURCE,-D_DEFAULT_SOURCE" ^
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    "-g,-fwrapv," ^
</span>      (if Sys.os_type = "Win32" then ",-D__USE_MINGW_ANSI_STDIO" else "") ^
      (if !parentheses then "" else ",-Wno-parentheses")
    |] in
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-clang-driver-options b/lang/fstar/files/kremlin-stable/patch-clang-driver-options
</span>similarity index 100%
rename from lang/fstar/files/kremlin/patch-clang-driver-options
rename to lang/fstar/files/kremlin-stable/patch-clang-driver-options
</pre><pre style='margin:0'>

</pre>