Add support for phalcon

2019-10-14 08:35:38 +05:30
parent b2e7a49dd5
commit fce9311522
9 changed files with 177 additions and 5 deletions
@@ -156,6 +156,14 @@ function addExtensionLinux(extension_csv, version, log_prefix) {
                        install_command =
                            './pcov.sh >/dev/null 2>&1 && echo "extension=pcov.so" >> $ini_file';
                        break;
+                    case '7.2phalcon3':
+                    case '7.3phalcon3':
+                        install_command = './phalcon.sh master ' + version + ' >/dev/null 2>&1';
+                        break;
+                    case '7.2phalcon4':
+                    case '7.3phalcon4':
+                        install_command = './phalcon.sh 4.0.x ' + version + ' >/dev/null 2>&1';
+                        break;
                    default:
                        install_command =
                            'sudo DEBIAN_FRONTEND=noninteractive apt install -y php' +