mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
db2da02ee5
This PR updates the build scripts to install Sphinx automatically if it is not already available.
40 lines
1.4 KiB
CMake
40 lines
1.4 KiB
CMake
###############################################################################
|
|
# Top contributors (to current version):
|
|
# Daniel Larraz
|
|
#
|
|
# This file is part of the cvc5 project.
|
|
#
|
|
# Copyright (c) 2009-2025 by the authors listed in the file AUTHORS
|
|
# in the top-level source directory and their institutional affiliations.
|
|
# All rights reserved. See the file COPYING in the top-level source
|
|
# directory for licensing information.
|
|
# #############################################################################
|
|
|
|
set(Python_SCRIPTS_Paths "")
|
|
|
|
macro(add_scripts_path python_bin scheme)
|
|
execute_process(
|
|
COMMAND "${python_bin}" -c
|
|
"import sysconfig; print(sysconfig.get_paths('${scheme}')['scripts'])"
|
|
RESULT_VARIABLE Python_SCRIPTS_RESULT
|
|
OUTPUT_VARIABLE Python_SCRIPTS
|
|
ERROR_QUIET
|
|
OUTPUT_STRIP_TRAILING_WHITESPACE
|
|
)
|
|
if (NOT Python_SCRIPTS_RESULT AND Python_SCRIPTS)
|
|
list(APPEND Python_SCRIPTS_Paths ${Python_SCRIPTS})
|
|
endif()
|
|
endmacro()
|
|
|
|
macro(collect_python_scripts_paths)
|
|
set(Python_SCRIPTS_Paths "") # Clear previously defined paths if any
|
|
add_scripts_path("${Python_EXECUTABLE}" "posix_prefix")
|
|
add_scripts_path("${Python_BASE_EXECUTABLE}" "posix_user")
|
|
add_scripts_path("${Python_BASE_EXECUTABLE}" "posix_prefix")
|
|
if(WIN32)
|
|
add_scripts_path("${Python_EXECUTABLE}" "nt")
|
|
add_scripts_path("${Python_BASE_EXECUTABLE}" "nt_user")
|
|
add_scripts_path("${Python_BASE_EXECUTABLE}" "nt")
|
|
endif()
|
|
endmacro()
|