Skip to content

Commit

Permalink
Enable warnings when compiling C code
Browse files Browse the repository at this point in the history
In particular, enable warnings for stricter C.
See https://lwn.net/Articles/913505/.
  • Loading branch information
MisterDA committed Jan 12, 2023
1 parent 0ed668e commit 6da1d09
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/c/dune
Original file line number Diff line number Diff line change
Expand Up @@ -129,6 +129,7 @@ let () = Jbuild_plugin.V1.send @@ {|
|}^ i_option ^{| /Fe\"%{targets}\"; \
else \
%{cc} %{c} \
-Wall -Wextra -Werror=implicit-int -Werror=implicit-function-declaration -Werror=int-conversion -Werror=strict-prototypes -Werror=old-style-definition \
-I '%{lib:ctypes:.}' \
-I %{ocaml_where} \
|}^ i_option ^{| -o %{targets}; \
Expand Down

0 comments on commit 6da1d09

Please sign in to comment.