add_cmake_project(z3
  URL https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.1.zip
  URL_HASH SHA256=5072309889a8fe73381303949114391ae2c976b7df64886f4cbdae349dd39cae
  CMAKE_ARGS
    -DCMAKE_POSITION_INDEPENDENT_CODE=ON
    -DZ3_INCLUDE_GIT_HASH=OFF
    -DZ3_INCLUDE_GIT_DESCRIBE=OFF
    -DZ3_USE_LIB_GMP=OFF
    -DZ3_BUILD_LIBZ3_SHARED=OFF
    -DZ3_ENABLE_EXAMPLE_TARGETS=OFF
    -DZ3_ALWAYS_BUILD_DOCS=OFF
    -DZ3_BUILD_EXECUTABLE=OFF
    -DZ3_BUILD_TEST_EXECUTABLES=OFF
)

