// Options passed to all configures
// --prefix is already set, and based on the php version
$config_options_all = array(
        //'--disable-all',
        '--disable-cgi',
        '--enable-cli',
);

// Options passed to version (branch) specific configures
// Example: array('5.3' => '--enable-intl', '5.2' => '');
$config_options_versions = array(
        '5.2' => '',
        '5.3' => '',
);