1
0
Fork 0

add php-debug virtual platform package

pull/5740/head
David Zuelke 2016-09-30 23:08:26 +02:00
parent 00c1b601c8
commit 0f68c01094
1 changed files with 6 additions and 0 deletions

View File

@ -81,6 +81,12 @@ class PlatformRepository extends ArrayRepository
$php->setDescription('The PHP interpreter'); $php->setDescription('The PHP interpreter');
$this->addPackage($php); $this->addPackage($php);
if (PHP_DEBUG) {
$phpdebug = new CompletePackage('php-debug', $version, $prettyVersion);
$phpdebug->setDescription('The PHP interpreter, with debugging symbols');
$this->addPackage($phpdebug);
}
if (PHP_INT_SIZE === 8) { if (PHP_INT_SIZE === 8) {
$php64 = new CompletePackage('php-64bit', $version, $prettyVersion); $php64 = new CompletePackage('php-64bit', $version, $prettyVersion);
$php64->setDescription('The PHP interpreter, 64bit'); $php64->setDescription('The PHP interpreter, 64bit');