diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-30 12:15:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-30 19:15:24 +0000 |
commit | 65e5a909b10855d2e6b3844f7bc4efb7fbe4fe2f (patch) | |
tree | bb541a32e3985be59ffdc323038677bbace24ede /examples/CMakeLists.txt | |
parent | 5a824c9e67789a529e34b7e2a7229986412bf979 (diff) |
Refactor our static builds (#7251)
This PR does a major refactoring on how we organize our builds to allow both shared and static builds. We now build the libraries using object libraries to allow building the libraries both dynamically and statically in the same build folder, though the static library is optional (ENABLE_STATIC_LIBRARY). The binary is linked either dynamically or statically (depending on ENABLE_STATIC_BINARY).
Diffstat (limited to 'examples/CMakeLists.txt')
-rw-r--r-- | examples/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 86634bc0c..99c9ea311 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -54,7 +54,7 @@ macro(cvc5_add_example name src_files output_dir) endif() add_executable(${name} ${src_files_list}) - target_link_libraries(${name} cvc5::cvc5 cvc5::cvc5parser) + target_link_libraries(${name} cvc5::cvc5-shared cvc5::cvc5parser-shared) # The test target is prefixed with the path, # e.g., for '<output_dir>/myexample.cpp' |