diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-07 07:51:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-07 14:51:09 +0000 |
| commit | bd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4 (patch) | |
| tree | a0195e7bb0daab6fe8ba063bac628ccb1a0acf95 /src/CMakeLists.txt | |
| parent | 22ab38c4a3bad18129c740968b36af8c378c4294 (diff) | |
Add new versioning scheme (#7253)
This introduces a new versioning mechanism that allows for better automation.
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 1dd005dd7..67347bbf4 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1308,7 +1308,7 @@ target_link_libraries(cvc5-obj PUBLIC $<TARGET_OBJECTS:cvc5base> $<TARGET_OBJECT # add_dependencies() is necessary for cmake versions before 3.21 add_dependencies(cvc5-obj cvc5base cvc5context) # Add libcvc5 dependencies for generated sources. -add_dependencies(cvc5-obj gen-expr gen-gitinfo gen-options gen-tags gen-theory) +add_dependencies(cvc5-obj gen-expr gen-versioninfo gen-options gen-tags gen-theory) # Link the shared library add_library(cvc5-shared SHARED) |