[Win64] Link LibPoly statically for static builds (#7891)

Fixes #7861. LibPoly was not getting linked statically for Windows
builds, even when building a static version of cvc5. This commit fixes
the issue.

diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake
index d4d5817b1640ed5509b44080c1ddff5076039b27..e2f0d6414cf6f158342afe2b706eb5c9010eadd6 100644 (file)
--- a/cmake/FindPoly.cmake
+++ b/cmake/FindPoly.cmake
@@ -123,11 +123,6 @@ if(NOT Poly_FOUND_SYSTEM)
     set(Poly_LIBRARIES "${DEPS_BASE}/lib/libpicpoly.a")
     set(PolyXX_LIBRARIES "${DEPS_BASE}/lib/libpicpolyxx.a")
   endif()
-
-  if(CMAKE_SYSTEM_NAME STREQUAL "Windows")
-    set(Poly_LIBRARIES "${DEPS_BASE}/bin/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}")
-    set(PolyXX_LIBRARIES "${DEPS_BASE}/bin/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}")
-  endif()
 endif()
 
 set(Poly_FOUND TRUE)