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