diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-15 16:46:17 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-15 16:46:17 -0700 |
commit | 0bc40f92221e5e8c669e2409ff3120d5c2257aec (patch) | |
tree | 7e07835cccfa2827ca2f2f98b9eab25b07081655 /src/CMakeLists.txt | |
parent | d828df78c39000b54c2a7824482e206f6761664f (diff) |
cmake: Generate git_versioninfo.cpp on build time. (#2640)
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0ea7a6837..e353d53c5 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -708,7 +708,7 @@ target_compile_definitions(cvc4 -D__STDC_FORMAT_MACROS ) # Add libcvc4 dependencies for generated sources. -add_dependencies(cvc4 gen-expr gen-options gen-tags gen-theory) +add_dependencies(cvc4 gen-expr gen-gitinfo gen-options gen-tags gen-theory) # Add library/include dependencies if(ENABLE_VALGRIND) |