cmake: Add missing check for __builtin_popcountll().

The autoconf build system has this already.
Gecode · Dec 4, 2023 · 78f6a02 · 78f6a02
1 parent 3fb05b3
commit 78f6a02
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -243,6 +243,13 @@ if (HAVE_BUILTIN_FFSL)
   set(GECODE_HAS_BUILTIN_FFSL "/**/")
 endif ()
 
+# Check for popcount
+check_c_source_compiles("
+  int main() { return __builtin_popcountll(0); }" HAVE_BUILTIN_POPCOUNTLL)
+if (HAVE_BUILTIN_POPCOUNTLL)
+  set(GECODE_HAS_BUILTIN_POPCOUNTLL "/**/")
+endif ()
+
 # Process config.hpp using autoconf rules.
 list(LENGTH CONFIG length)
 math(EXPR length "${length} - 1")