Re: [PHP] How to change my readline library?
- Date: Tue, 23 Aug 2016 18:08:57 +0000
- From: "Jim Lucas" <lists@xxxxxxxxx>
- Subject: Re: [PHP] How to change my readline library?
August 22 2016 1:30 AM, "水静流深" <1248283536@xxxxxx> 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?
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...
C - 5414085189
H - 5413234219
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php