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