Bug->Req #63362 [Opn]: Not needed but installed headers.
| From: | kalle@php.net | Date: | Sat, 06 Aug 2016 01:22:33 +0000 |
| Subject: | Bug->Req #63362 [Opn]: Not needed but installed headers. | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-202979@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=63362&edit=1
ID: 63362
Updated by: kalle@php.net
Reported by: remi@php.net
Summary: Not needed but installed headers.
Status: Open
-Type: Bug
+Type: Feature/Change Request
Package: *General Issues
Operating System: GNU/Linux (Fedora 18)
PHP Version: 5.4.8
Block user comment: N
Private report: N
New Comment:
Hi Remi
Now I'm no expert on the Unix build system, but it seems like a rather simple task and it does
make a lot of sense to do that. On Windows we don't install non Windows platform specific
headers with phpize either.
Previous Comments:
------------------------------------------------------------------------
[2012-10-25 13:43:46] remi@php.net
Description:
------------
Various Windows specific headers are provided in the php sources
(of course, this is absolutely not a problem).
It will be great to not install them on other OS.
Installed headers list:
TSRM/tsrm_win32.h
TSRM/tsrm_config.w32.h
Zend/zend_config.w32.h
ext/mysqlnd/config-win.h
ext/standard/winver.h
main/win32_internal_function_disabled.h
main/win95nt.h
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=63362&edit=1