Sujet : Re: Bison 3.4
De : matthieu (at) *nospam* x.localhost (Matthieu)
Groupes : fr.comp.os.linux.configurationDate : 07. Jan 2022, 11:17:14
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <sr90eq$1irf$2@gioia.aioe.org>
References : 1 2 3 4 5
Le 06.01.2022 à 16:07 Pat Pato a écrit:
"libreadline" : Extension qui est installée, précisément
lireadline-dev.
la version -dev n'est pas utile pour php, ce sont des entêtes C.
Que signifie l'option de compilation --with-readline[=DIR]
./configure --help le dira probablement.
Apparemment PHP peut être compilé avec readline ou libedit, dans le
second cas la fonction readline_list_history n'est pas supportée
(d'après ce que disent des commentaires sur le site de php)...
Peut-être mieux simplement de ne pas utiliser cette fonction si sa
présence est incertaine, puisque le code réalisé sera alors
difficilement transportable.
et que sont ces paquets libreadline GNU et php-readline ... ?
man readline
php-readline est simplement l'interface php qui permet l'utilisation
de cette librairie.
Matthieu
Bison 3.4
Re: Bison 3.4