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 /src/options | |
| 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 'src/options')
| -rw-r--r-- | src/options/CMakeLists.txt | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index cd648955e..663b2bf13 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -18,8 +18,12 @@ execute_process( ) if(RET_TOML) - message(FATAL_ERROR - "Could not find Python module toml. Install via `pip install toml'.") + message(FATAL_ERROR + "Could not find toml for Python " + "version ${PYTHON_VERSION_MAJOR}.${PYTHON_VERSION_MINOR}. " + "Make sure to install toml for this Python version " + "via \n`${PYTHON_EXECUTABLE} -m pip install toml'.\nNote: You need to " + "have pip installed for this Python version.") endif() libcvc4_add_sources( |