diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-15 13:59:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-15 13:59:41 -0700 |
| commit | c5eb0c1900e8cf12a18d15d8b1c0660c626bf137 (patch) | |
| tree | 846c6971125275cc94943b9d76beacef9f1c19ae /CMakeLists.txt | |
| parent | 3ee318ec4b2930fa1234c3f49894ba343008eca3 (diff) | |
Remove remaining references to Boost and Autotools (#3390)
This commit removes references to Boost and Autotools in the copyright
information and CMakeLists.txt.
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index f8fe74130..5efce1260 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -237,8 +237,6 @@ if(ENABLE_SHARED) else() set(CMAKE_FIND_LIBRARY_SUFFIXES .a ${CMAKE_FIND_LIBRARY_SUFFIXES}) set(BUILD_SHARED_LIBS OFF) - # This is required to force find_package(Boost) to use static libraries. - set(Boost_USE_STATIC_LIBS ON) cvc4_set_option(ENABLE_STATIC_BINARY ON) # Never build unit tests as static binaries, otherwise we'll end up with |