2019-08-29 04:49:29 +08:00
|
|
|
## # execute_process
|
|
|
|
##
|
|
|
|
## Intercepts all calls to execute_process() inside portfiles and fails when Download Mode
|
|
|
|
## is enabled.
|
|
|
|
##
|
|
|
|
## In order to execute a process in Download Mode call `_execute_process()` instead.
|
|
|
|
##
|
|
|
|
if (NOT DEFINED OVERRIDEN_EXECUTE_PROCESS)
|
|
|
|
set(OVERRIDEN_EXECUTE_PROCESS ON)
|
|
|
|
|
|
|
|
if (DEFINED VCPKG_DOWNLOAD_MODE)
|
2019-08-30 10:40:43 +08:00
|
|
|
macro(execute_process)
|
2019-08-29 04:49:29 +08:00
|
|
|
message(FATAL_ERROR "This command cannot be executed in Download Mode.\nHalting portfile execution.\n")
|
2019-08-30 10:40:43 +08:00
|
|
|
endmacro()
|
2019-08-29 04:49:29 +08:00
|
|
|
else()
|
2020-09-10 01:36:58 +08:00
|
|
|
macro(_execute_process)
|
|
|
|
execute_process(${ARGV})
|
2019-08-30 10:40:43 +08:00
|
|
|
endmacro()
|
2019-08-29 04:49:29 +08:00
|
|
|
endif()
|
|
|
|
endif()
|