View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001235 | Xdebug | Installation | public | 2015-12-15 08:24 | 2016-01-25 21:59 |
| Reporter | sebastian | Assigned To | |||
| Priority | normal | Severity | major | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Platform | x86_64 | OS | Linux | ||
| Product Version | 2.4.0rc3 | ||||
| Fixed in Version | 2.4.0rc4 | ||||
| Summary | 0001235: Xdebug does not compile against PHP 7.1-dev | ||||
| Description | /bin/sh /usr/local/src/php/xdebug/libtool --mode=compile ccache gcc -I. -I/usr/local/src/php/xdebug -DPHP_ATOM_INC -I/usr/local/src/php/xdebug/include -I/usr/local/src/php/xdebug/main -I/usr/local/src/php/xdebug -I/usr/local/php-7.1/include/php -I/usr/local/php-7.1/include/php/main -I/usr/local/php-7.1/include/php/TSRM -I/usr/local/php-7.1/include/php/Zend -I/usr/local/php-7.1/include/php/ext -I/usr/local/php-7.1/include/php/ext/date/lib -DHAVE_CONFIG_H -march=native -mtune=native -fPIC -pipe -O0 -c /usr/local/src/php/xdebug/xdebug_code_coverage.c -o xdebug_code_coverage.lo | ||||
| Tags | No tags attached. | ||||
| Operating System | |||||
| PHP Version | 7.1-dev | ||||