diff options
author | Remi Collet <fedora@famillecollet.com> | 2013-03-21 10:14:24 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2013-03-21 10:14:24 +0100 |
commit | ec4e4f60837cfebd2b4755799533a854bae75eaa (patch) | |
tree | 2f6915229ecab998b580ffa2acde23dad2bf1701 /install-pear.php | |
parent | dbd6e1b735b21a3fcb27393675a0377a9a236a01 (diff) |
php extension rebuild for php 5.5
Diffstat (limited to 'install-pear.php')
-rw-r--r-- | install-pear.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/install-pear.php b/install-pear.php index c06dc04..facb6ee 100644 --- a/install-pear.php +++ b/install-pear.php @@ -72,6 +72,9 @@ for ($i = 0; $i < sizeof($argv); $i++) { } elseif ($arg == '-o' || $arg == '--download') { $download_dir = $argv[$i+1]; $i++; + } elseif ($arg == '-m' || $arg == '--metadata') { + $metadata_dir = $argv[$i+1]; + $i++; } elseif ($arg == '-t' || $arg == '--temp') { $temp_dir = $argv[$i+1]; $i++; @@ -159,6 +162,10 @@ if (!empty($test_dir)) { if (!empty($with_dir)) { $ds = DIRECTORY_SEPARATOR; $config->set('php_dir', $with_dir, 'default'); + // Metadata + if (!empty($metadata_dir)) { + $config->set('metadata_dir', $metadata_dir, 'default'); + } if (empty($doc_dir)) { $config->set('doc_dir', $with_dir . $ds . 'doc', 'default'); } @@ -230,7 +237,7 @@ $options['upgrade'] = true; $install_root = getenv('INSTALL_ROOT'); if (!empty($install_root)) { $options['packagingroot'] = $install_root; - $reg = &new PEAR_Registry($options['packagingroot']); + $reg = &new PEAR_Registry($options['packagingroot'], false, false, $metadata_dir); } else { $reg = $config->getRegistry('default'); } |