Re: How to change my readline library?

From: 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

« previous php.general (#325681) next »