projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df4c8cb) | patch
Configuration: Indicate dependencies being built (#6921)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 23 Jul 2021 20:57:42 +0000 (13:57 -0700)
committerGitHub <noreply@github.com>
Fri, 23 Jul 2021 20:57:42 +0000 (20:57 +0000)
commit1dfc52234354e8a88aeb2e0d05d83930fc434893
tree4c0f1047ef36222691e7a7afb0e9bc6e33b68062tree
parentdf4c8cbe704fce51623bc9540def9b8806af4fd9commit | 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.
CMakeLists.txt diff | blob | history
cmake/Helpers.cmake diff | blob | history