Для Ubuntu отредактируйте этот php.ini для CLI:
/usr/local/lib/php.ini
добавьте / usr / local / lib / php / к вашей включаемой строке
include_path= "/opt/zend/library/:/var/www/library/:/usr/local/bin/pear/:/usr/local/lib/php/"
Мне понадобился день, чтобы понять это. Бинго.
Если это не сработает, попробуйте это, оно подскажет вам, где находятся ваши PHP-библиотеки.
$ locate PHP_CodeCoverage