projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2773c63) | patch
[Win64] Use `CC_FOR_BUILD` when compiling GMP (#8874)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 10 Jun 2022 23:17:21 +0000 (16:17 -0700)
committerGitHub <noreply@github.com>
Fri, 10 Jun 2022 23:17:21 +0000 (16:17 -0700)
commit1b6fa3da6536191e6b69769c99a3994aab09cd4b
tree3739b7f67985c865144c53d7af1af20acdd1e47btree
parent2773c6380c619c3d000e9c89aa88cf49801b5974commit | diff
[Win64] Use `CC_FOR_BUILD` when compiling GMP (#8874)

This restores the use of the `CC_FOR_BUILD` environment variable. It was
(accidentally) removed in 4337cdb8e2a071ded73dbc9236c8bb2f4d42e6e5 after
it was added in b0500dd28ec42d6a1bada80d34b74ce8aea896cc. Without
`CC_FOR_BUILD`, cross-compilation of GMP fails on Arch Linux.
cmake/FindGMP.cmake diff | blob | history