cmake: Restrict library suffixes for static builds. (cvc5#10126)

Restricts library suffixes to .a for static builds, will build missing static dependencies if necessary. Fixes cvc5#10089.
ajreynol · Oct 31, 2023 · af97da1 · af97da1
1 parent 04795b7
commit af97da1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -339,9 +339,9 @@ if(BUILD_SHARED_LIBS)
   endif()
 else()
   if (WIN32)
-    set(CMAKE_FIND_LIBRARY_SUFFIXES .lib .a .dll)
+    set(CMAKE_FIND_LIBRARY_SUFFIXES .lib .a)
   else()
-    set(CMAKE_FIND_LIBRARY_SUFFIXES .a .so .dylib)
+    set(CMAKE_FIND_LIBRARY_SUFFIXES .a)
   endif()
 endif()