Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 375839 - dev-php/phpcpd missing dependency on dev-php5/PEAR-PHP_Timer
Summary: dev-php/phpcpd missing dependency on dev-php5/PEAR-PHP_Timer
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal minor (vote)
Assignee: Ole Markus With (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-07-21 08:51 UTC by Toei Rei
Modified: 2011-07-21 11:36 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Toei Rei 2011-07-21 08:51:44 UTC 
$ phpcpd ./admin
PHP Warning:  require_once(PHP/Timer.php): failed to open stream: No such file or directory in /usr/share/php/PHPCPD/TextUI/ResultPrinter.php on line 44

Warning: require_once(PHP/Timer.php): failed to open stream: No such file or directory in /usr/share/php/PHPCPD/TextUI/ResultPrinter.php on line 44
PHP Fatal error:  require_once(): Failed opening required 'PHP/Timer.php' (include_path='.:/usr/share/php5:/usr/share/php') in /usr/share/php/PHPCPD/TextUI/ResultPrinter.php on line 44

Fatal error: require_once(): Failed opening required 'PHP/Timer.php' (include_path='.:/usr/share/php5:/usr/share/php') in /usr/share/php/PHPCPD/TextUI/ResultPrinter.php on line 44


Reproducible: Always

Steps to Reproduce:
1. emerge phpcpd
2. run phpcpd
3. emerge missing dev-php5/PEAR-PHP_Timer
4. run again
Comment 1 Michael Orlitzky gentoo-dev 2011-07-21 08:59:12 UTC 
Confirmed, from:

  https://github.com/sebastianbergmann/phpunit/blob/a68b29bb0721b03fe57acc4c1ea98ff7938ac45a/package.xml

we have,

   <package>
    <name>PHP_Timer</name>
    <channel>pear.phpunit.de</channel>
    <min>1.0.0</min>
   </package>
Comment 2 Ole Markus With (RETIRED) gentoo-dev 2011-07-21 11:36:58 UTC 
Fixed. Also renamed PEAR-PHP_Timer to php-timer.

Thanks for notifying.