QIDITECH/QIDISlicer
1
0
Fork 0
mirror of https://github.com/QIDITECH/QIDISlicer.git synced 2026-02-04 18:08:44 +03:00
Code Issues Packages Projects Releases Wiki Activity

update deps

Browse Source
This commit is contained in:
QIDI TECH
2025-03-21 16:34:06 +08:00
parent 0eb68458ad
commit 4386e44453
11 changed files with 10698 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
deps/+z3/z3.cmake vendored Normal file
View File

@@ -0,0 +1,15 @@
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
)