cmake HAS_FLAG_AVX512 examples

flintlib/flint CMakeLists.txt :92 

check_c_compiler_flag("${avx512_flag}" HAS_FLAG_AVX512)