Требуется менеджер версий PHP для развертывания нескольких версий PHP на производственных серверах

В настоящее время я использую несколько стеков LAMP, где я вручную установил PHP 5.2, 5.3 и 5.4. Все серверы работают под управлением Ubuntu 12.04 LTS. 5.3 в настоящее время установлен через apt-get но все остальные версии PHP компилируются вручную.

Я рассчитываю начать развертывание новых стеков LAMP через Puppet, и хотя я мог бы написать базовый сценарий для выполнения тех же шагов компиляции, я хотел бы сделать это лучше.

Я включил несколько примеров того, что я после. Проблема всего этого в том, что они, похоже, ориентированы на разработчиков и даже устанавливают PHP в домашнюю директорию пользователя. Я ищу что-то, что может управлять несколькими версиями PHP на рабочем сервере.

Думаю, я мог бы изменить существующие решения, но я надеюсь найти что-то более специализированное, с приличной базой пользователей.

Модуль Puppet PHP Boxen: https://github.com/mattheath/puppet-php (который зависит от phpenv ниже):

Здесь я могу просто

include php::5_4
include php::5_3
include php::5_2

Это в конечном итоге, где я хотел бы быть с моей конфигурации Puppet. Несколько простых строк, и он позаботится об установке, и обнаружит, если версия уже присутствует, чтобы не переустанавливать.

phpenv: https://github.com/phpenv/phpenv

После настройки phpenv:

phpenv install php-5.3.20

php-версия: https://github.com/wilmoore/php-version