diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-23 13:57:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-23 20:57:42 +0000 |
commit | 1dfc52234354e8a88aeb2e0d05d83930fc434893 (patch) | |
tree | 4c0f1047ef36222691e7a7afb0e9bc6e33b68062 /CMakeLists.txt | |
parent | df4c8cbe704fce51623bc9540def9b8806af4fd9 (diff) |
Configuration: Indicate dependencies being built (#6921)
This commit changes the output of our configuration to show which
dependencies are being built as part of the cvc5 build. For example:
```
ABC : off
CryptoMiniSat : off
GLPK : off
Kissat : off
LibPoly : on (local)
CoCoALib : off
Build libcvc5 only : off
MP library : gmp (system)
Editline : off
```
Indicates that `LibPoly` was not found in the system and is thus built
as part of the cvc5 build and GMP was found in the system.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index f5f571046..bb8e305b2 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -657,18 +657,18 @@ print_config("Java bindings " ${BUILD_BINDINGS_JAVA}) print_config("Python2 " ${USE_PYTHON2}) message("") print_config("ABC " ${USE_ABC}) -print_config("CryptoMiniSat " ${USE_CRYPTOMINISAT}) +print_config("CryptoMiniSat " ${USE_CRYPTOMINISAT} FOUND_SYSTEM ${CryptoMiniSat_FOUND_SYSTEM}) print_config("GLPK " ${USE_GLPK}) -print_config("Kissat " ${USE_KISSAT}) -print_config("LibPoly " ${USE_POLY}) -print_config("CoCoALib " ${USE_COCOA}) +print_config("Kissat " ${USE_KISSAT} FOUND_SYSTEM ${Kissat_FOUND_SYSTEM}) +print_config("LibPoly " ${USE_POLY} FOUND_SYSTEM ${Poly_FOUND_SYSTEM}) +print_config("CoCoALib " ${USE_COCOA} FOUND_SYSTEM ${CoCoA_FOUND_SYSTEM}) message("") print_config("Build libcvc5 only " ${BUILD_LIB_ONLY}) if(CVC5_USE_CLN_IMP) - print_config("MP library " "cln") + print_config("MP library " "cln" FOUND_SYSTEM ${CLN_FOUND_SYSTEM}) else() - print_config("MP library " "gmp") + print_config("MP library " "gmp" FOUND_SYSTEM ${GMP_FOUND_SYSTEM}) endif() print_config("Editline " ${USE_EDITLINE}) message("") |