add_cmake_project(z3
  URL https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.0.zip
  URL_HASH SHA256=81543736dcbbbcb037a7df55d0be596245d509f3f69f56610df32728e48ee050
  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
)

