Combine `--static` and `--static-binary` (#7520)
authorGereon Kremer <nafur42@gmail.com>
Thu, 28 Oct 2021 19:30:13 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Oct 2021 19:30:13 +0000 (19:30 +0000)
commit6fb31c779f91fa22186052224ceb38d48ba41fa9
tree6b379311000556e4d90889f0dae77cee2d0b196a
parent22b0ff77781b957c3ed714dd7ac88fb8c5a8d25c
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.
12 files changed:
.github/workflows/ci.yml
CMakeLists.txt
INSTALL.rst
cmake/ConfigCompetition.cmake
cmake/FindANTLR3.cmake
cmake/FindCLN.cmake
cmake/FindGMP.cmake
cmake/FindPoly.cmake
configure.sh
src/CMakeLists.txt
src/main/CMakeLists.txt
src/parser/CMakeLists.txt