This is an automated email from the ASF dual-hosted git repository. tqchen pushed a commit to branch tirx/standalone-package-cleanup in repository https://gitbox.apache.org/repos/asf/tvm.git
commit 8fb70273cdafe7f301fd059a89028c2d4591bdf8 Author: Tianqi Chen <[email protected]> AuthorDate: Thu Oct 15 05:25:17 2026 +0000 [FIX][CMake] Normalize the packaged Z3 license path on Windows --- tirx/cmake/modules/contrib/Z3.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tirx/cmake/modules/contrib/Z3.cmake b/tirx/cmake/modules/contrib/Z3.cmake index 48dc4f8d9c..6a33b41723 100644 --- a/tirx/cmake/modules/contrib/Z3.cmake +++ b/tirx/cmake/modules/contrib/Z3.cmake @@ -100,7 +100,7 @@ if(TVM_BUILD_PYTHON_MODULE AND Z3_TARGET) get_target_property(_z3_target_type ${Z3_TARGET} TYPE) if(_z3_target_type STREQUAL "STATIC_LIBRARY" AND Python3_EXECUTABLE) execute_process(COMMAND "${Python3_EXECUTABLE}" -c - "import importlib.util; from pathlib import Path; s=importlib.util.find_spec('mlc_z3_static'); print(Path(s.origin).parent / 'licenses/LICENSE-Z3.txt' if s else '')" + "import importlib.util; from pathlib import Path; s=importlib.util.find_spec('mlc_z3_static'); print((Path(s.origin).parent / 'licenses/LICENSE-Z3.txt').as_posix() if s else '')" OUTPUT_VARIABLE _z3_license OUTPUT_STRIP_TRAILING_WHITESPACE) if(EXISTS "${_z3_license}") install(FILES "${_z3_license}" DESTINATION licenses)
