cmake HAS_FLAG_AVX2 examples

flintlib/flint CMakeLists.txt :71 

check_c_compiler_flag("${avx2_flag}" HAS_FLAG_AVX2)

flintlib/flint CMakeLists.txt :73 

option(ENABLE_AVX2 "Enable AVX2 instructions" ${HAS_FLAG_AVX2})