projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0218a7) | patch
[Win64] Link LibPoly statically for static builds (#7891)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 11 Jan 2022 00:15:03 +0000 (16:15 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 00:15:03 +0000 (00:15 +0000)
commit4184c48961fb55dfc60372f2af201cb42d051472
treecc69336ab64953ff0c5f3e2cb0e53383cc707737tree
parentf0218a7f4b0fc0b6b6c066cb675fa55ff34992a1commit | diff
[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 diff | blob | history