projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3fe874) | patch
Add main options to cmake (#7178)
authorGereon Kremer <nafur42@gmail.com>
Mon, 13 Sep 2021 16:14:58 +0000 (18:14 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Sep 2021 16:14:58 +0000 (16:14 +0000)
commite73aa912b0716f45642865baf245693f94bdea63
tree842fc3e54e280fc867e1e1aa58a9d979d6533753tree
parente3fe8741b7d7ae9258118f71ec977bafeaa17344commit | diff
Add main options to cmake (#7178)

This PR adds main/options.cpp to cmake. Also, it removes the old (now obsolete and unused) options script.
src/CMakeLists.txt diff | blob | history
src/options/generate-toml-files.sh [deleted file] blob | history