Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > fr.comp.os.linux.configuration > #43543 > unrolled thread

Bison 3.4

Back to article view | Back to fr.comp.os.linux.configuration

Contents

  Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-06 13:45 +0100
    Re: Bison 3.4 "Richard D." <rickyd@antispam.zz> - 2022-01-06 14:02 +0100
      Re: Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-06 14:42 +0100
        Re: Bison 3.4 "Richard D." <rickyd@antispam.zz> - 2022-01-06 15:41 +0100
          Re: Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-06 16:07 +0100
            Re: Bison 3.4 Matthieu <matthieu@x.localhost> - 2022-01-07 10:17 +0100
              Re: Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-07 12:58 +0100
                Re: Bison 3.4 Matthieu <matthieu@x.localhost> - 2022-01-07 13:38 +0100
                  Re: Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-07 15:49 +0100
    Re: Bison 3.4 Pat Pato <patou@doremifasol.com> - 2022-01-07 08:11 +0100

#43543 — Bison 3.4

Bonjour,

Quelle destination dois-je donner à l'extraction de l'archive
bison-3.4.tar.gz?

Je n'ai besoinde ce logiciel qu'afin d'utiliser PHP 8.0 en version CLI.

Je suis l'heureux propriétaire d'un répertoire /php-src.

Merci,
  
Patrick

[toc] | [next] | [standalone]

#43544

Le 06.01.2022 à 13:45 Pat Pato a écrit:
> Quelle destination dois-je donner à l'extraction de l'archive
> bison-3.4.tar.gz?
> 
> Je n'ai besoinde ce logiciel qu'afin d'utiliser PHP 8.0 en version
> CLI.

Pourquoi ne pas utiliser simplement le paquet php-8 (ou similaire)
fourni par la distribution que tu utilises?

RD

[toc] | [prev] | [next] | [standalone]

#43546

Le Thu, 6 Jan 2022 14:02:54 +0100,
"Richard D." <rickyd@antispam.zz> a écrit :

> Le 06.01.2022 à 13:45 Pat Pato a écrit:
> > Quelle destination dois-je donner à l'extraction de l'archive
> > bison-3.4.tar.gz?
> > 
> > Je n'ai besoinde ce logiciel qu'afin d'utiliser PHP 8.0 en version
> > CLI.  
> 
> Pourquoi ne pas utiliser simplement le paquet php-8 (ou similaire)
> fourni par la distribution que tu utilises?
> 
> RD
> 

Bonjour,

Comment utiliser PHP (7.3) en version cli ou cgi?

Je n'ai pas réussi à faire fonctionner le script suivant

<?php

for ($i=0; $i < 2; $i++) {
	$line = readline("Commande : ");
	
	readline_add_history($line);
}

// Liste l'historique

print_r(readline_list_history());

// Liste les variables
print_r(readline_info());

// 
?>

La fonction readline_list_history  n'est pas reconnue dans ma
configuration actuelle.
Merci
  
Patrick

[toc] | [prev] | [next] | [standalone]

#43548

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

[toc] | [prev] | [next] | [standalone]

#43549

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

[toc] | [prev] | [next] | [standalone]

#43562

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

[toc] | [prev] | [next] | [standalone]

#43565

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

[toc] | [prev] | [next] | [standalone]

#43567

Le 07.01.2022 à 12:58 Pat Pato a écrit:
> Je poursuis donc en te demandant si quant à toi extrairais l'archive
> bison-3.4 vers /opt/bison-v3.4

L'archive en question est une archive source, je suppose donc qu'il faut
d'abord construire le projet bison avant de l'installer dans son
répertoire définitif via make install.

Dans ce contexte, l'emplacement où sera extrait l'archive n'a aucune
importance.

Matthieu

[toc] | [prev] | [next] | [standalone]

#43572

Le Fri, 7 Jan 2022 13:38:55 +0100,
Matthieu <matthieu@x.localhost> a écrit :

> Le 07.01.2022 à 12:58 Pat Pato a écrit:
> > Je poursuis donc en te demandant si quant à toi extrairais l'archive
> > bison-3.4 vers /opt/bison-v3.4  
> 
> L'archive en question est une archive source, je suppose donc qu'il
> faut d'abord construire le projet bison avant de l'installer dans son
> répertoire définitif via make install.
> 
> Dans ce contexte, l'emplacement où sera extrait l'archive n'a aucune
> importance.
> 
> Matthieu
> 

Merci

  
Patrick

[toc] | [prev] | [next] | [standalone]

#43559

Le Thu, 6 Jan 2022 13:45:14 +0100,
Pat Pato <patou@doremifasol.com> a écrit :

> Bonjour,
> 
> Quelle destination dois-je donner à l'extraction de l'archive
> bison-3.4.tar.gz?
> 
> Je n'ai besoinde ce logiciel qu'afin d'utiliser PHP 8.0 en version
> CLI.
> 
> Je suis l'heureux propriétaire d'un répertoire /php-src.
> 
> Merci,

Bonjour nouveau lecteur de mon post,

Je n'ai donc pas d'autre réponse à ma question?

  
Patrick

[toc] | [prev] | [standalone]

Back to top | Article view | fr.comp.os.linux.configuration

csiph-web