Re: extension_path not used for zend_extension
| From: | Ferenc Kovacs | Date: | Mon, 18 Apr 2011 21:08:06 +0000 |
| Subject: | Re: extension_path not used for zend_extension | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-51934@lists.php.net to get a copy of this message | ||
2011/4/18 Johannes Schlüter <johannes@schlueters.de>
>
>
> On 04/18/11 06:06 PM, Ferenc Kovacs wrote:
>
> thanks for the clarification.
>> if thats the only thing thats preventing this to work (eg. someone has
>> to patch the engine to be aware of the extension_dir), then I think I
>> should open a feature request for this.
>>
>
> slight semantic comment: "to patch the engine to be aware of the
> extension_dir" -> "to patch the engine to make extension_dir an engine
> thing".
>
> In theory you can build the engine stand-alone, without PHP and therefore
> can not depend on anything outside the engine (except TSRM, which then again
> doesn't depend on PHP).
>
> johannes
>
I see, thanks for the clarification.
I opened a ticket for this, feel free to comment it.
http://bugs.php.net/bug.php?id=54564&
Tyrael