@@ -24,6 +24,17 @@ update_ppa() {
24
24
fi
25
25
}
26
26
27
+ configure_pecl () {
28
+ if [ " $pecl_config " = " false" ] && [ -e /usr/bin/pecl ]; then
29
+ for tool in pear pecl; do
30
+ sudo $tool config-set php_ini " $ini_file " > /dev/null 2>&1
31
+ sudo $tool config-set auto_discover 1 > /dev/null 2>&1
32
+ sudo $tool channel-update $tool .php.net > /dev/null 2>&1
33
+ done
34
+ pecl_config=" true"
35
+ fi
36
+ }
37
+
27
38
# Function to setup extensions
28
39
add_extension () {
29
40
extension=$1
@@ -36,6 +47,7 @@ add_extension() {
36
47
elif ! php -m | grep -i -q -w " $extension " ; then
37
48
(eval " $install_command " && add_log " $tick " " $extension " " Installed and enabled" ) ||
38
49
(update_ppa && eval " $install_command " && add_log " $tick " " $extension " " Installed and enabled" ) ||
50
+ (sudo pecl install -f " $extension " > /dev/null 2>&1 && add_log " $tick " " $extension " " Installed and enabled" ) ||
39
51
add_log " $cross " " $extension " " Could not install $extension on PHP $semver "
40
52
fi
41
53
sudo chmod 777 " $ini_file "
@@ -119,6 +131,7 @@ add_devtools() {
119
131
fi
120
132
sudo update-alternatives --set php-config /usr/bin/php-config" $version " > /dev/null 2>&1
121
133
sudo update-alternatives --set phpize /usr/bin/phpize" $version " > /dev/null 2>&1
134
+ configure_pecl
122
135
}
123
136
124
137
# Function to setup the nightly build from master branch
@@ -138,10 +151,7 @@ setup_master() {
138
151
add_pecl () {
139
152
add_devtools
140
153
$apt_install php-pear > /dev/null 2>&1
141
- sudo pear config-set php_ini " $ini_file " > /dev/null 2>&1
142
- sudo pear config-set auto_discover 1 > /dev/null 2>&1
143
- sudo pear channel-update pear.php.net > /dev/null 2>&1
144
- sudo pecl channel-update pecl.php.net > /dev/null 2>&1
154
+ configure_pecl
145
155
add_log " $tick " " PECL" " Added"
146
156
}
147
157
@@ -158,6 +168,7 @@ switch_version() {
158
168
tick=" ✓"
159
169
cross=" ✗"
160
170
ppa_updated=" false"
171
+ pecl_config=" false"
161
172
version=$1
162
173
apt_install=" sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y"
163
174
existing_version=$( php-config --version | cut -c 1-3)
@@ -171,7 +182,6 @@ sudo mkdir -p /run/php
171
182
if [ " $existing_version " != " $version " ]; then
172
183
if [ ! -e " /usr/bin/php$version " ]; then
173
184
update_ppa
174
- ppa_updated=1
175
185
if [ " $version " = " 7.4" ]; then
176
186
$apt_install php" $version " php" $version " -curl php" $version " -mbstring php" $version " -xml php" $version " -phpdbg > /dev/null 2>&1
177
187
elif [ " $version " = " 8.0" ]; then
0 commit comments