3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-04 16:44:07 +00:00
z3/cmake/modules
Rolf Eike Beer 7f8e2a9f75
clean up CMake code (#5182)
* CMake: simplify FindGMP.cmake

Remove printing of all the different variables, and let FPHSA output the library
name. Add an imported target, which bundles the library and the include
directories for easier usage.

* fix build: vector::c_ptr() now is vector::data()

* CMake: use Threads::Threads imported module

Otherwise the setting of THREADS_PREFER_PTHREAD_FLAG has no effect.

* CMake: remove needless policy setting

The minimum required version is CMake 3.4, where these policies are already set
to new because they were introduced earlier.

* CMake: remove needless variable expansion
2021-04-14 10:29:15 -07:00
..
DotnetImports.props.in incrementally adding files from dotnet core pull request from @yatli 2019-01-20 10:40:11 -08:00
FindDotnet.cmake change to FindDotnet.cmake thanks to @yatli 2019-06-12 11:06:27 -07:00
FindGMP.cmake clean up CMake code (#5182) 2021-04-14 10:29:15 -07:00