protected function configure()
{
parent::configure();
$this->setName('install')->setDescription('Install a php extension')->addOption('dry-run', null, InputOption::VALUE_NONE, 'Do not install extension')->addOption('php', null, InputOption::VALUE_REQUIRED, 'path to an alternative php (exec)')->addOption('ini', null, InputOption::VALUE_REQUIRED, 'path to an alternative php.ini')->addOption('source', null, InputOption::VALUE_NONE, 'use source package')->addOption('save-logs', null, InputOption::VALUE_REQUIRED, 'path to save the build logs')->addOption('tmp-dir', null, InputOption::VALUE_REQUIRED, 'path to a custom temp dir', sys_get_temp_dir());
if (defined('PHP_WINDOWS_VERSION_MAJOR')) {
$this->addOption('binary', null, InputOption::VALUE_NONE, 'use binary package');
}
}