mirror of
https://github.com/shivammathur/setup-php.git
synced 2024-11-22 11:51:07 +07:00
Add script to help cache extensions
This commit is contained in:
parent
43cfa2b1a8
commit
48cfea3f3e
15
src/scripts/ext/extensions.sh
Normal file
15
src/scripts/ext/extensions.sh
Normal file
@ -0,0 +1,15 @@
|
||||
php_h="https://raw.githubusercontent.com/php/php-src/PHP-$2/main/php.h"
|
||||
os=$(uname -s)
|
||||
if [ "$os" = "Linux" ]; then
|
||||
apiv=$(curl -sSL --retry 5 "$php_h" | grep "PHP_API_VERSION" | cut -d' ' -f 3)
|
||||
dir="/usr/lib/php/$apiv"
|
||||
sudo mkdir -p "$dir" && sudo chown -R "$USER":"$(id -g -n)" /usr/lib/php
|
||||
elif [ "$os" = "Darwin" ]; then
|
||||
apiv=$(curl -sSL --retry 5 "$php_h" | grep "PHP_API_VERSION" | cut -d' ' -f 3)
|
||||
dir="/usr/local/lib/php/pecl/$apiv"
|
||||
else
|
||||
dir='C:\\tools\\php\\ext'
|
||||
fi
|
||||
hash=$(echo -n "$1" | openssl dgst -sha256 | cut -d ' ' -f 2)
|
||||
echo "::set-output name=ext_dir::$dir"
|
||||
echo "::set-output name=ext_hash::$hash"
|
Loading…
Reference in New Issue
Block a user