diff options
Diffstat (limited to 'src/options/CMakeLists.txt')
-rw-r--r-- | src/options/CMakeLists.txt | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index d3106b398..574432085 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -9,22 +9,8 @@ ## directory for licensing information. ## # Check if the toml Python module is installed. -execute_process( - COMMAND - ${PYTHON_EXECUTABLE} -c "import toml" - RESULT_VARIABLE - RET_TOML - ERROR_QUIET -) -if(RET_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() +check_python_module("toml") libcvc4_add_sources( base_handlers.h |