Skip to content

Commit

Permalink
Revise warning flags
Browse files Browse the repository at this point in the history
  • Loading branch information
bocchino committed Mar 3, 2025
1 parent f95e8e8 commit 00e6178
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,14 @@ add_compile_options(
-pedantic
)

# Turn off -Wshadow for now in unit testing
# The generated code needs additional fixes
if (BUILD_TESTING)
add_compile_options(
-Wno-shadow
)
endif()

# Disable compiler-specific checks that F' doesn't comply with.
#
# -Wno-vla-extension: Variable length arrays are required to support sending to async serializable
Expand Down

0 comments on commit 00e6178

Please sign in to comment.