extension d'installation manuelle php

À mesure que PHP continue de se développer, ses fonctions deviennent de plus en plus puissantes. Cependant, les fonctions de base de PHP ne sont qu'un début, et la bibliothèque d'extensions de PHP en est la véritable âme. Ces bibliothèques d'extensions peuvent aider les applications PHP à améliorer davantage les performances, la sécurité et d'autres aspects. Mais parfois, l’installation de ces extensions peut s’avérer difficile dans un environnement d’hébergement partagé. Dans ce cas, il peut être judicieux d'installer manuellement l'extension PHP.

Dans cet article, nous détaillerons comment installer manuellement les extensions PHP dans un environnement d'hébergement mutualisé. Habituellement, l'installation manuelle des extensions PHP est divisée en quatre étapes suivantes.

1. Déterminez les extensions que vous devez installer

Tout d'abord, vous devez déterminer les extensions que vous devez installer. Vous pouvez obtenir une liste des extensions pour la version actuellement en cours d'exécution de PHP en tapant la commande suivante dans le terminal : php -m. Cela renvoie une liste d'extensions contenant toutes les extensions prises en charge par la version actuelle de PHP.

2. Téléchargez et décompressez le pack d'extension

Une fois que vous avez déterminé l'extension que vous devez installer, vous devez télécharger le pack d'extension correspondant. Vous pouvez obtenir le package d'extension auprès de PECL (PHP Extension Community Library, PHP Extension Community Library) ou de GitHub et d'autres endroits. Après avoir téléchargé le pack d'extension, vous devez le décompresser en accédant au répertoire à l'aide d'un terminal et en exécutant la commande suivante : tar -xzvf .tar.gz.

3. Exécutez le fichier de configuration

Après la décompression, vous devez exécuter le fichier de configuration. Le but de ce fichier est de préparer certains éléments nécessaires à l'extension. Si le fichier de configuration doit être configuré, veuillez d'abord vérifier vos informations PHP, puis ajouter les options et paramètres correspondants à la commande. Par exemple, si vous devez configurer l'extension redis pour PHP 7.3, vous devez exécuter la commande suivante :

cd redis-4.1.1
phpize
./configure -- with-php- config=/usr/bin/php-config7.3

Après avoir exécuté cette commande, vous verrez une sortie. Si toutes les dépendances nécessaires sont trouvées et que le script de configuration s'exécute correctement, le résultat devrait être similaire à ce qui suit :

checking for grep qui gère les longues lignes et -e... /bin/grep# 🎜🎜 #vérification d'egrep... /bin/grep -E
vérification d'un sed qui ne tronque pas la sortie... /bin/sed
configure : AVERTISSEMENT :
#🎜 🎜#configure : AVERTISSEMENT : la prise en charge de l'exécution en tant que démon, sous Linux avec le type de cible systemd, est au mieux expérimentale et souvent interrompue.configure : AVERTISSEMENT : ne comptez pas sur support systemd, jusqu'à ce qu'il soit déclaré stable.
configure : AVERTISSEMENT :

vérifier cc... cc vérifier si le compilateur C fonctionne... oui
vérification du nom du fichier de sortie par défaut du compilateur C... a.out
vérification du suffixe des exécutables...
vérification si nous effectuons une compilation croisée .. . non
vérifier le suffixe des fichiers objets... o
vérifier si nous utilisons le compilateur GNU C... oui
vérifier si cc accepte -g... oui# 🎜🎜 #vérifier l'option cc pour accepter ISO C89... aucun nécessaire
vérifier comment exécuter le préprocesseur C... cc -E
vérifier icc... non
#🎜🎜 ## 🎜🎜#Compilez et installez l'extension

La dernière étape consiste à compiler et installer l'extension. Pour compiler l'extension, vous devez exécuter la commande suivante dans le terminal : make. Cela construira l'extension à partir du code source. Si l'exécution de cette commande réussit, vous pouvez continuer l'installation de l'extension. Avant d'installer une extension, vous pouvez la copier dans le répertoire des extensions PHP (généralement /usr/lib/php/extensions). Ensuite, ajoutez une nouvelle référence d'extension dans votre fichier PHP.ini (généralement dans /etc/php/7.X/cli/php.ini) comme ceci : extension=.so.

4. Après avoir terminé les étapes ci-dessus, vous devez redémarrer Apache ou PHP FastCGI. Vous pouvez ensuite exécuter la commande php -m pour vérifier que l'extension a été installée avec succès.

Summary

L'installation manuelle d'extensions PHP est également une option viable lors de l'utilisation d'un service d'hébergement partagé. Vous pouvez installer manuellement les extensions PHP en identifiant les extensions qui doivent être installées, en téléchargeant et en décompressant le package d'extension, en exécutant le fichier de configuration, puis en compilant et en installant l'extension. Cette approche peut être plus difficile que d'obtenir des extensions PHP directement auprès d'un fournisseur d'hébergement partagé, mais elle est parfois nécessaire. Le choix dépend en grande partie de vos besoins spécifiques et de votre environnement.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!