Довелось мне тут собирать расширение redis для PHP 7.1 на сервере с ISPmanager 5 и функцией «Выбор версии PHP».
Собственно по аналогии можно и другие расширения собрать:
# apt-get install autoconf gcc make -y # git clone https://github.com/phpredis/phpredis.git # cd phpredis/ # /opt/php71/bin/phpize # ./configure --with-php-config=/opt/php71/bin/php-config # make && make install && make clean # echo "extension=/opt/php71/lib/php/modules/redis.so" > /opt/php71/etc/mods-available/redis.ini
Далее заходим рутом в ISPmanager 5, Выбираем меню «PHP» и включаем расширение.