Sujet : Re: Bison 3.4
De : patou (at) *nospam* doremifasol.com (Pat Pato)
Groupes : fr.comp.os.linux.configurationDate : 07. Jan 2022, 13:58:01
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <20220107125801.0b4533b6@debian>
References : 1 2 3 4 5 6
User-Agent : Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-pc-linux-gnu)
Le Fri, 7 Jan 2022 10:17:14 +0100,
Matthieu <
matthieu@x.localhost> a écrit :
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
Je sais que les sujets sont disjoints mais c'était bien l'objet de ma
publication:
Je poursuis donc en te demandant si quant à toi extrairais l'archive
bison-3.4 vers /opt/bison-v3.4, ce qui dans mon cas me conduit à
supprimer une première installation qui avait donné lieu à la création
d'un "directory" dans /home : sudo rm --recursive bison;
C'est évidemment l'hypothèse d'une installation de PHP 8.0 depuis la
source, avec bison-v.3.4 donc.
Merci
Patrick