Re: How to change my readline library?
| From: | Jim Lucas | Date: | Tue, 23 Aug 2016 18:08:57 +0000 |
| Subject: | Re: How to change my readline library? | ||
| References: | 1 | Groups: | php.general |
| Request: | Send a blank email to php-general+get-325681@lists.php.net to get a copy of this message | ||
August 22 2016 1:30 AM, "水静流深" <1248283536@qq.com> wrote:
> In my console (os is debian):
> php5 -i |grep Readline Readline Support => enabled Readline library => EditLine wrapper
>
> I want to change readline library into
libreadline.so.6.3.
> Is the way to achieve the target ,not to compile my php5 again,to keep other unchanged?
http://php.net/manual/en/readline.installation.php
Installation
To use these functions you must compile the CGI or CLI version of PHP with readline support. You
need to configure PHP --with-readline[=DIR] . If you want to use the libedit readline replacement,
configure PHP --with-libedit[=DIR] .
So, you'll need to compile a custom version of PHP to do so. And when running ./configure ....
Include the options of --with-libedit=/some/other/lib/file...
--
Jim Lucas
C - 5414085189
H - 5413234219
http://cmsws.com