From 4184c48961fb55dfc60372f2af201cb42d051472 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 10 Jan 2022 16:15:03 -0800 Subject: [PATCH] [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. --- cmake/FindPoly.cmake | 5 ----- 1 file changed, 5 deletions(-) diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index d4d5817b1..e2f0d6414 100644 --- 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) -- 2.30.2