mirror of
https://github.com/Z3Prover/z3
synced 2025-05-08 08:15:47 +00:00
2cb4223979
CMake will automatically pick up changes in git's HEAD so that the necessary code is rebuilt when the build system is invoked. Two new options `INCLUDE_GIT_HASH` and `INCLUDE_GIT_DESCRIBE` have been added that enable/disable including the git hash and the output of `git describe` respectively. By default if the source tree is a git repository both options are on, otherwise they are false by default. To support the `Z3GITHASH` macro a different implementation is used from the old build system. In that build system the define is passed on the command line. This would not work well for CMake because CMake conservatively (and correctly) rebuilds *everything* if the flags given to the compiler change. This would result in the entire project being rebuilt everytime git's `HEAD` changed. Instead in this implementation a CMake specific version of `version.h.in` (named `version.h.cmake.in`) is added that uses the `#cmakedefine` feature of CMake's `configure_file()` command to define `Z3GITHASH` if it is available and not define it otherwise. This way only object files that depend on `version.h` get re-built rather than the whole project. It is unfortunate that the build systems now have different `version.h` file templates. However they are very simple and I don't want to modify how templates are handled in the python/Makefile build system.
62 lines
1.2 KiB
CMake
62 lines
1.2 KiB
CMake
if (EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/version.h")
|
|
message(FATAL_ERROR "\"${CMAKE_CURRENT_SOURCE_DIR}/version.h\""
|
|
${z3_polluted_tree_msg}
|
|
)
|
|
endif()
|
|
|
|
set(Z3_FULL_VERSION "\"${Z3_FULL_VERSION_STR}\"")
|
|
configure_file(version.h.cmake.in ${CMAKE_CURRENT_BINARY_DIR}/version.h)
|
|
|
|
z3_add_component(util
|
|
SOURCES
|
|
approx_nat.cpp
|
|
approx_set.cpp
|
|
bit_util.cpp
|
|
bit_vector.cpp
|
|
cmd_context_types.cpp
|
|
common_msgs.cpp
|
|
cooperate.cpp
|
|
debug.cpp
|
|
env_params.cpp
|
|
fixed_bit_vector.cpp
|
|
gparams.cpp
|
|
hash.cpp
|
|
hwf.cpp
|
|
inf_int_rational.cpp
|
|
inf_rational.cpp
|
|
inf_s_integer.cpp
|
|
lbool.cpp
|
|
luby.cpp
|
|
memory_manager.cpp
|
|
mpbq.cpp
|
|
mpf.cpp
|
|
mpff.cpp
|
|
mpfx.cpp
|
|
mpn.cpp
|
|
mpq.cpp
|
|
mpq_inf.cpp
|
|
mpz.cpp
|
|
page.cpp
|
|
params.cpp
|
|
permutation.cpp
|
|
prime_generator.cpp
|
|
rational.cpp
|
|
region.cpp
|
|
rlimit.cpp
|
|
scoped_ctrl_c.cpp
|
|
scoped_timer.cpp
|
|
sexpr.cpp
|
|
s_integer.cpp
|
|
small_object_allocator.cpp
|
|
smt2_util.cpp
|
|
stack.cpp
|
|
statistics.cpp
|
|
symbol.cpp
|
|
timeit.cpp
|
|
timeout.cpp
|
|
timer.cpp
|
|
trace.cpp
|
|
util.cpp
|
|
warning.cpp
|
|
z3_exception.cpp
|
|
)
|