disable warnings for benchmarks

CMakeLists.txt

@@ -91,9 +91,8 @@ if(NOT MSVC)
         -Wall
         -Wextra
         -pedantic
-        -Wconversion
-        -Wsign-conversion
-        # -Werror=gcc-compat
+        # -Wconversion
+        # -Wsign-conversion
         $<$<CONFIG:DEBUG>:-g>
         $<$<CONFIG:DEBUG>:-Og>
         $<$<CONFIG:RELEASE>:-O3>
@@ -335,6 +334,9 @@ configure_file(config/Config.h.in config.h)
 # Now combine everything into the hacl library
 # # Dynamic library
 add_library(hacl SHARED ${SOURCES_std} ${VALE_OBJECTS})
+if(NOT MSVC)
+    target_compile_options(hacl PRIVATE -Wsign-conversion -Wconversion)
+endif()
 
 if(TOOLCHAIN_CAN_COMPILE_VEC128 AND HACL_VEC128_O)
     add_dependencies(hacl hacl_vec128)