mirror of
https://github.com/shivammathur/setup-php.git
synced 2026-09-06 12:50:11 +07:00
Validate cached Xdebug 2 on macOS
This commit is contained in:
@@ -75,9 +75,10 @@ copy_brew_extensions() {
|
||||
add_brew_extension() {
|
||||
formula=$1
|
||||
prefix=$2
|
||||
expected_version=${3:-}
|
||||
extension="$(get_extension_from_formula "$formula")"
|
||||
enable_extension "$extension" "$prefix"
|
||||
if check_extension "$extension"; then
|
||||
if check_extension "$extension" && { [ -z "$expected_version" ] || check_extension_version "$extension" "$expected_version"; }; then
|
||||
add_log "${tick:?}" "$extension" "Enabled"
|
||||
else
|
||||
add_brew_tap "$php_tap"
|
||||
|
||||
@@ -21,6 +21,13 @@ check_extension() {
|
||||
fi
|
||||
}
|
||||
|
||||
# Function to test the loaded version of an extension.
|
||||
check_extension_version() {
|
||||
local extension=$1
|
||||
local ext_version=$2
|
||||
php -d display_errors=0 -r "exit(phpversion(\$argv[1]) === \$argv[2] ? 0 : 1);" -- "$extension" "$ext_version" >/dev/null 2>&1
|
||||
}
|
||||
|
||||
# Function to check if extension is shared
|
||||
shared_extension() {
|
||||
[ -e "${ext_dir:?}/$1.so" ]
|
||||
|
||||
Reference in New Issue
Block a user