mirror of
https://git.mirrors.martin98.com/https://github.com/prusa3d/PrusaSlicer.git
synced 2025-07-31 03:22:01 +08:00
16 lines
484 B
CMake
16 lines
484 B
CMake
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
|
|
)
|
|
|