I want to use the system's z3 library with a CMake project, but the documentation (https://github.com/Z3Prover/z3/blob/master/README-CMake.md#adding-z3-as-a-dependency-to-a-cmake-project) does not cover how to do that.
The only case covered is how to setup up a CMake project that downloads a z3 version from git and rebuilds it every time that project is reconfigured from the scratch, but this is not what I want (I want to use the system version to avoid that).
How does one use the system's z3 version with a CMake project?
EDIT: I think what's documented there should work if z3 installation were to put a Findz3.cmake file in the system's CMAKE_MODULE_PATH, but on my system it does not appear to be doing that because find_package cannot find it.
Where is z3's Findz3.cmake file in this repository? Where does it install it?
I want to use the system's z3 library with a CMake project, but the documentation (https://github.com/Z3Prover/z3/blob/master/README-CMake.md#adding-z3-as-a-dependency-to-a-cmake-project) does not cover how to do that.
The only case covered is how to setup up a CMake project that downloads a z3 version from git and rebuilds it every time that project is reconfigured from the scratch, but this is not what I want (I want to use the system version to avoid that).
How does one use the system's z3 version with a CMake project?
EDIT: I think what's documented there should work if z3 installation were to put a Findz3.cmake file in the system's CMAKE_MODULE_PATH, but on my system it does not appear to be doing that because
find_packagecannot find it.Where is z3's
Findz3.cmakefile in this repository? Where does it install it?