projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb6acf6) | patch
cmake: Make Python3 default and improve toml error messages. (#5884)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 9 Feb 2021 23:18:14 +0000 (15:18 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Feb 2021 23:18:14 +0000 (17:18 -0600)
commit1d140d9fb1b79a1776f359c879667180e094de5a
treebc7d8509de90dd71fd63c8d0cf58294f0d6b6ccetree
parentfb6acf659fbf69327f8044e35e6919c1243bc848commit | diff
cmake: Make Python3 default and improve toml error messages. (#5884)

./configure.sh will now fail if Python3 is not installed on the system. Since Python2 is now deprecated the user has to explicitly enable it via --python2. This commit also removes the --python3 configure flag.
.github/workflows/ci.yml diff | blob | history
CMakeLists.txt diff | blob | history
INSTALL.md diff | blob | history
NEWS diff | blob | history
configure.sh diff | blob | history
src/options/CMakeLists.txt diff | blob | history