From 90f97e7afdda13885fac71cb463d804329b2d27f Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Thu, 5 Oct 2023 09:58:03 +0200
Subject: [PATCH] disable warnings for benchmarks

---
 CMakeLists.txt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7f99a60b..fca85d4f 100644
--- a/CMakeLists.txt
+++ b/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)