diff --git a/CMakeLists.txt b/CMakeLists.txt
index bcd1257..600d41e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -424,7 +424,7 @@ if(target MATCHES "x64")
       HAVE_WMMINTRIN_H=1 # AES
       HAVE_AVXINTRIN_H=1 # AVX
       HAVE_AVX2INTRIN_H=1 # AVX2
-      HAVE_AVX512FINTRIN_H # AVX512
+      HAVE_AVX512FINTRIN_H # AVX512F
   )
 
   if(target MATCHES "win32")
@@ -433,6 +433,7 @@ if(target MATCHES "x64")
       PRIVATE
         -mavx
         -mavx2
+        -mavx512f
     )
   endif()