Files

cmake

Apr 19, 2025

f7aec02 · Apr 19, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
modules	modules	WIP: Migrating OCaml binding to CMake (#7254 )	Apr 19, 2025
Z3Config.cmake.in	Z3Config.cmake.in	Fix Z3Config.cmake.in when generating a static library (#5555 )	Sep 17, 2021
check_link_atomic.cmake	check_link_atomic.cmake	github action: add riscv64/aarch64/powerpc64 cross compile (#5897 )	Mar 16, 2022
cmake_uninstall.cmake.in	cmake_uninstall.cmake.in	[CMake] Move CMake files into their intended location so the	Jun 12, 2017
compiler_lto.cmake	compiler_lto.cmake	clean up CMake code (#5182 )	Apr 14, 2021
compiler_warnings.cmake	compiler_warnings.cmake	Merge shared parts from polysat branch (#7063 )	Dec 28, 2023
cxx_compiler_flags_overrides.cmake	cxx_compiler_flags_overrides.cmake	[CMake] Move CMake files into their intended location so the	Jun 12, 2017
git_utils.cmake	git_utils.cmake	clean up CMake code (#5182 )	Apr 14, 2021
msvc_legacy_quirks.cmake	msvc_legacy_quirks.cmake	clean up CMake code (#5182 )	Apr 14, 2021
target_arch_detect.cmake	target_arch_detect.cmake	Change from BINARY_DIR to PROJECT_BINARY_DIR	May 15, 2019
target_arch_detect.cpp	target_arch_detect.cpp	set ARM64 if detected under OSX	Apr 7, 2022
z3_add_component.cmake	z3_add_component.cmake	cmake: Use `FindPython3`. (#7019 )	Nov 27, 2023
z3_add_cxx_flag.cmake	z3_add_cxx_flag.cmake	[CMake] Change the `WARNINGS_AS_ERRORS` option from BOOL to STRING	Jul 9, 2017
z3_append_linker_flag_list_to_target.cmake	z3_append_linker_flag_list_to_target.cmake	mux	Jun 5, 2019