actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-25 21:13:04 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix cache support for phalcon4

Browse Source
This commit is contained in:
Shivam Mathur 2021-09-19 07:02:01 +05:30
parent 1fa3ba1b16
commit bc0d607611
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/scripts/ext/phalcon.sh
View File

@ -15,7 +15,7 @@ add_phalcon3() {
if [ "$phalcon_version" != "$extension_major_version" ]; then
add_phalcon_helper
else
echo "extension=phalcon.so" | sudo tee -a "$phalcon_ini_file"
enable_extension phalcon extension
fi
else
add_phalcon_helper
@ -24,16 +24,14 @@ add_phalcon3() {
# Function to add phalcon4.
add_phalcon4() {
if shared_extension phalcon && ! php -m | grep -i -q -w psr; then
echo "extension=psr.so" | sudo tee -a "${ini_file:?}"
fi
enable_extension psr extension
if shared_extension phalcon; then
if php -m | grep -i -q -w psr; then
if check_extension psr; then
phalcon_version=$(php -d="extension=phalcon" -r "echo phpversion('phalcon');" | cut -d'.' -f 1)
if [ "$phalcon_version" != "$extension_major_version" ]; then
add_phalcon_helper
else
echo "extension=phalcon.so" | sudo tee -a "$phalcon_ini_file"
enable_extension phalcon extension
fi
else
add_phalcon_helper
@ -47,7 +45,6 @@ add_phalcon4() {
add_phalcon() {
extension=$1
status='Enabled'
phalcon_ini_file="${pecl_file:-${ini_file[@]}}"
extension_major_version=${extension: -1}
if [ "$extension_major_version" = "4" ]; then
add_phalcon4 >/dev/null 2>&1