projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3f0087) | patch
Fix patching for poly on windows (#7513)
authorGereon Kremer <nafur42@gmail.com>
Wed, 27 Oct 2021 19:58:48 +0000 (12:58 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 19:58:48 +0000 (19:58 +0000)
commit95685c06c1c3983bc50a5cf4b4196fc1c5ae2247
treeb260b1bdb0a3e5f343f82ea015125cc0022c2d53tree
parentb3f0087c07dd183748d063f0581a711f781e2d42commit | diff
Fix patching for poly on windows (#7513)

This PR is another step to fix our windows nightlies.
It moves the patch steps for libpoly in a separate script. Apparently, it is impossible to properly escape this stuff to work on all platforms and all cmake versions.
cmake/FindPoly.cmake diff | blob | history
cmake/deps-utils/Poly-windows-patch.sh [new file with mode: 0755] blob