Web lists-archives.com

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...

Jim Lucas
C - 5414085189
H - 5413234219

PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php