Sujet : Re: Bison 3.4
De : patou (at) *nospam* doremifasol.com (Pat Pato)
Groupes : fr.comp.os.linux.configurationDate : 06. Jan 2022, 17:07:34
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <20220106160734.3342c9bd@debian>
References : 1 2 3 4
User-Agent : Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-pc-linux-gnu)
Le Thu, 6 Jan 2022 15:41:55 +0100,
"Richard D." <
rickyd@antispam.zz> a écrit :
Le 06.01.2022 à 14:42 Pat Pato a écrit:
La fonction readline_list_history n'est pas reconnue dans ma
configuration actuelle.
Cette fonction ne semble disponible qu'avec l'extension PHP
"libreadline". Peut-être faut-il installer un paquet additionnel pour
disposer de cette extension, par ex. php7.0-readline ?
RD
"libreadline" : Extension qui est installée, précisément lireadline-dev.
Une autre extension à laquelle "j'ai cru bon" de recourir est
php7.3-readline, installée aussi, de même que php7.3-cli ...
Que signifie l'option de compilation --with-readline[=DIR], et que sont
ces paquets libreadline GNU et php-readline ... ?
Patrick
Bison 3.4
Re: Bison 3.4