actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-07-23 23:29:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use ppa:ondrej/php for phalcon4 on PHP7.4

Browse Source
This commit is contained in:
Shivam Mathur
2020-01-21 00:50:38 +05:30
parent e9c783eef0
commit e58c704985
3 changed files with 1 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
dist/index.js vendored
View File

@ -2676,19 +2676,6 @@ function addExtensionLinux(extension_csv, version, pipe) {
'\n' +
(yield utils.addLog('$tick', 'xdebug', 'Enabled', 'linux'));
return;
// match 7.4phalcon4
case /^7.4phalcon4$/.test(version_extension):
script +=
'\nsh ' +
path.join(__dirname, '../src/scripts/ext/phalcon.sh') +
' ' +
extension +
' ' +
version +
pipe +
'\n' +
(yield utils.addLog('$tick', extension, 'Installed and enabled', 'linux'));
return;
default:
install_command =
'sudo DEBIAN_FRONTEND=noninteractive apt-get install -y php' +