diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-15 23:55:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-16 08:55:25 +0200 |
commit | 03c2724cef26fa20862634e25e3adc476d049db4 (patch) | |
tree | c89f442f907070abc2cf06ceb5636222167b8a74 /src/context | |
parent | b7dcbee6f351c22ca3454d706d5773d01dd806fa (diff) |
cmake: Build object libraries for base and context. (#6374)
cmake complains that the static base and context libraries are not
exported as install targets. Since we do not want to install these
libraries we'll build object libraries instead.
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/context/CMakeLists.txt b/src/context/CMakeLists.txt index 8800f1a23..fb1d25111 100644 --- a/src/context/CMakeLists.txt +++ b/src/context/CMakeLists.txt @@ -34,7 +34,7 @@ set(LIBCONTEXT_SOURCES context_mm.h ) -add_library(cvc4context STATIC ${LIBCONTEXT_SOURCES}) +add_library(cvc4context OBJECT ${LIBCONTEXT_SOURCES}) if(ENABLE_SHARED) set_target_properties(cvc4context PROPERTIES POSITION_INDEPENDENT_CODE ON) endif() |