1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
|
###############################################################################
# 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()
|