For Ubuntu, edit this php.ini for the CLI:
/usr/local/lib/php.ini
add / usr / local / lib / php / to your include line
include_path= "/opt/zend/library/:/var/www/library/:/usr/local/bin/pear/:/usr/local/lib/php/"
A day came to me to understand this. Bingo.
If this does not work, try this, it will give you a hint where your PHP libraries are located.
$ locate PHP_CodeCoverage
Elzo valugi
source share