From 1d140d9fb1b79a1776f359c879667180e094de5a Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 9 Feb 2021 15:18:14 -0800 Subject: 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. --- src/options/CMakeLists.txt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/options') 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( -- cgit v1.2.3