diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-28 12:30:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-28 19:30:13 +0000 |
commit | 6fb31c779f91fa22186052224ceb38d48ba41fa9 (patch) | |
tree | 6b379311000556e4d90889f0dae77cee2d0b196a /src/main | |
parent | 22b0ff77781b957c3ed714dd7ac88fb8c5a8d25c (diff) |
Combine `--static` and `--static-binary` (#7520)
This PR combines the two configure flags --static and --static-binary into a single --static. Consequently, the two corresponding cmake variables are combined as well. The two variables have been implying each other for some time now and were only used to build not-completely-static binaries for MacOS, which is now done automatically anyway.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index a16baeb73..cb83413f9 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -76,7 +76,7 @@ endif() # use the static system libraries. # https://cmake.org/cmake/help/v3.0/prop_tgt/LINK_SEARCH_START_STATIC.html # https://cmake.org/cmake/help/v3.0/prop_tgt/LINK_SEARCH_END_STATIC.html -if(ENABLE_STATIC_BINARY) +if(ENABLE_STATIC_BUILD) if(NOT CMAKE_SYSTEM_NAME STREQUAL "Darwin") set_target_properties(cvc5-bin PROPERTIES LINK_FLAGS -static) set_target_properties(cvc5-bin PROPERTIES LINK_SEARCH_START_STATIC ON) |