Set C standard to C11 in CMake

flintlib · Nov 14, 2023 · 189ce05 · 189ce05
1 parent 841826d
commit 189ce05
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -343,6 +343,8 @@ elseif (WIN32)
     set_target_properties(flint PROPERTIES RUNTIME_OUTPUT_NAME "flint-${FLINT_MAJOR_SO}")
 endif()
 
+set_property(TARGET flint PROPERTY C_STANDARD 11)
+
 if(NOT DEFINED IPO_SUPPORTED)
     message(STATUS "Checking for IPO")
     check_ipo_supported(RESULT ipo_supported LANGUAGES C)