diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-02-09 15:18:14 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 17:18:14 -0600 |
| commit | 1d140d9fb1b79a1776f359c879667180e094de5a (patch) | |
| tree | bc7d8509de90dd71fd63c8d0cf58294f0d6b6cce /NEWS | |
| parent | fb6acf659fbf69327f8044e35e6919c1243bc848 (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.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -37,6 +37,7 @@ Changes: * SMT-LIB output for `get-model` command now conforms with the standard, and does *not* begin with the keyword `model`. The output is the same as before, only with this word removed from the beginning. +* Building with Python 2 is now deprecated. Changes since 1.7 |