<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/4fd4dc2176fb9faba5f112305bcf716438b3fe8a">https://github.com/macports/macports-ports/commit/4fd4dc2176fb9faba5f112305bcf716438b3fe8a</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 4fd4dc2176fb9faba5f112305bcf716438b3fe8a
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Aug 4 22:06:27 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    kremlin-devel: fix compilation when using -fc89 with clang
</span>---
 lang/fstar/files/kremlin-devel/patch-clang-driver-options | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin-devel/patch-clang-driver-options b/lang/fstar/files/kremlin-devel/patch-clang-driver-options
</span><span style='display:block; white-space:pre;color:#808080;'>index b904cc18cba..26de2a1baab 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin-devel/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;'>@@ -9,7 +9,7 @@
</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;'>-@@ -74,16 +74,21 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -74,16 +74,24 @@
</span>      "-ccopts";
      "-Wall,-Werror,-Wno-unused-variable," ^
      "-Wno-unknown-warning-option,-Wno-unused-but-set-variable," ^
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -21,11 +21,14 @@
</span>    let gcc_options = Array.append gcc_like_options
 -    [| "-ccopt"; if !c89_std then "-std=c89" else "-std=c11" |]
 +    [| "-ccopt"; if !c89_std then "-std=c89" else "-std=c11" |] in
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+  let clang_options = Array.append gcc_options
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  let clang_options = Array.concat [gcc_options;
</span> +  (* '-Winfinite-recursion' is triggered by the use of 'C.portable_exit'
 +   * in a recursive function; we need to disable this
 +   * warning until KreMLin adds support for the _Noreturn attribute *)
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+    [| "-ccopt"; "-Wno-error=infinite-recursion" |]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    [| "-ccopt"; "-Wno-error=infinite-recursion" |];
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  (* '-Wc99-extensions' is triggered by kremlib's use of <stdbool.h> 'bool'
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++     in c89 mode *)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    (if !c89_std then [| "-ccopt"; "-Wno-error=c99-extensions" |] else [| |])]
</span>    in
    [
      "gcc", gcc_options;
</pre><pre style='margin:0'>

</pre>