cmake : add a flag to disable F16C (#628)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 476ceb8b6ab14822f08a4645189e09d77f1f05f4..fbbb5209d2d6a368c902559d09cb0d31eb79ceec 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -172,7 +172,9 @@ else()
             if(NOT WHISPER_NO_FMA)
                 set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -mfma")
             endif()
-            set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -mf16c")
+            if(NOT WHISPER_NO_F16C)
+                set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -mf16c")
+            endif()
         endif()
     endif()
 endif()