diff options
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 93ea5cbeb..2d658ee31 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -548,7 +548,11 @@ endif() # Generate CVC4's cvc4autoconfig.h header include(ConfigureCVC4) +if(NOT ENABLE_SHARED) + set(CVC4_STATIC_BUILD ON) +endif() configure_file(cvc4autoconfig.h.in cvc4autoconfig.h) +unset(CVC4_STATIC_BUILD) include_directories(${CMAKE_CURRENT_BINARY_DIR}) #-----------------------------------------------------------------------------# |