diff options
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 2d658ee31..5b1d1e292 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -174,6 +174,9 @@ set(PROGRAM_PREFIX "" CACHE STRING "Program prefix on make install") option(BUILD_BINDINGS_PYTHON "Build Python bindings based on new C++ API ") option(BUILD_BINDINGS_JAVA "Build Java bindings based on new C++ API ") +# Build limitations +option(BUILD_LIB_ONLY "Only build the library") + #-----------------------------------------------------------------------------# # Internal cmake variables @@ -709,6 +712,8 @@ print_config("GLPK :" USE_GLPK) print_config("Kissat :" USE_KISSAT) print_config("LFSC :" USE_LFSC) print_config("LibPoly :" USE_POLY) +message("") +print_config("BUILD_LIB_ONLY :" BUILD_LIB_ONLY) if(CVC4_USE_CLN_IMP) message("MP library : cln") |