Small bugfixes wrt DEAL_II_HAVE_AVX512

 - Use the same logic as for DEAL_II_HAVE_(SSE|AVX)
 - Update documentation

diff --git a/cmake/checks/check_01_compiler_features.cmake b/cmake/checks/check_01_compiler_features.cmake
index c6678d6367c2871f8f7a8722b85bb66615c51e6d..e5352bf1820357908d0feaf8204e43b4b2de9d48 100644 (file)
--- a/cmake/checks/check_01_compiler_features.cmake
+++ b/cmake/checks/check_01_compiler_features.cmake
@@ -303,7 +303,7 @@ CHECK_CXX_SOURCE_COMPILES(
           int old_fn () { return 0; }
           int (*fn_ptr)() = old_fn;
 
-         int main () {}
+          int main () {}
   "
   DEAL_II_COMPILER_HAS_ATTRIBUTE_DEPRECATED
   )

diff --git a/cmake/checks/check_01_cpu_features.cmake b/cmake/checks/check_01_cpu_features.cmake
index 1204b5dec2ae93b5b0086d1e8e58bc77810872dd..54ceed4dce65b782923e8b743261d54f8bb1e1ba 100644 (file)
--- a/cmake/checks/check_01_cpu_features.cmake
+++ b/cmake/checks/check_01_cpu_features.cmake
@@ -62,6 +62,7 @@ IF(DEAL_II_ALLOW_PLATFORM_INTROSPECTION)
   IF(NOT "${CMAKE_REQUIRED_FLAGS}" STREQUAL "${DEAL_II_CHECK_CPU_FEATURES_SAVED}")
     UNSET(DEAL_II_HAVE_SSE2 CACHE)
     UNSET(DEAL_II_HAVE_AVX CACHE)
+    UNSET(DEAL_II_HAVE_AVX512 CACHE)
   ENDIF()
   SET(DEAL_II_CHECK_CPU_FEATURES_SAVED
     "${CMAKE_REQUIRED_FLAGS}" CACHE INTERNAL "" FORCE

diff --git a/doc/users/config.sample b/doc/users/config.sample
index b37132c37046809ef14838d0b721c30c272092ec..32a5e5c70a7b25d6dca7ca7819543224ead08917 100644 (file)
--- a/doc/users/config.sample
+++ b/doc/users/config.sample
@@ -632,6 +632,7 @@
 #
 #   SET(DEAL_II_HAVE_SSE TRUE CACHE BOOL "")
 #   SET(DEAL_II_HAVE_AVX TRUE CACHE BOOL "")
+#   SET(DEAL_II_HAVE_AVX512 TRUE CACHE BOOL "")
 #