Maison > Article > développement back-end > Comment installer l'extension uuid en php
Comment installer l'extension uuid en PHP : Tout d'abord, rendez-vous sur le site officiel de PECL pour télécharger l'extension PHP uuid ; puis installez les bibliothèques dépendantes puis utilisez la commande phpize pour préparer l'environnement de compilation pour l'extension PHP ; bibliothèque; et enfin installez-la via la commande install.
L'environnement d'exploitation de cet article : système Ubuntu1804, version php7.2, ordinateur DELL G3
PHP utilise uuid
Ubuntu1804+php7.2+nginx
Allez sur le site officiel de PECL (https://pecl.php.net/package/uuid) pour télécharger la dernière extension php uuid :
Par exemple, uuid -Version 1.1.0
$ wget https://pecl.php.net/get/uuid-1.1.0.tgz
Le composant le plus important de uuid est le code machine, dont la plupart sont l'adresse MAC de la carte réseau. PHP ne peut pas obtenir le. code machine, donc le code ne peut pas être utilisé directement pour en générer un uuid
Sous Ubuntu se trouve ce package uuid-dev, d'autres plateformes sont similaires
$ sudo apt-get install uuid-dev
$ tar -zxvf uuid-1.1.0.tgz
$ cd uuid-1.1.0/
$ phpize7.2
phpize est utilisée Préparez l'environnement de compilation pour la bibliothèque d'extension PHP.
Généralement dans le répertoire bin, plusieurs versions de PHP trouvent leur phpize correspondant, tel que /bin/phpize7.2
$ ./configure --with-php-config=/usr/bin/php-config7.2
php-config est un simple script de ligne de commande utilisé pour obtenir des informations sur la configuration PHP installée
$ sudo make $ sudo make test $ sudo make install
Le fichier généré après une installation réussie est généralement modules/××.so
Libraries have been installed in: /home/vagrant/uuid-1.1.0/modules
ou
Installing shared extensions: /usr/lib/php/20170718/
dans le répertoire courant si le fichier d'extension .so n'est pas automatiquement ajouté au répertoire d'extension ( vous pouvez afficher le répertoire extension_dir via phpinfo, qui est le "/usr/lib/php/20170718/" ci-dessus), vous devez copier manuellement
$ sudo cp /home/vagrant/uuid-1.1.0/modules/uuid.so /usr/lib/php/20170718/
Nous venons d'installer les extensions auparavant, mais les extensions spécifiques introduites dans les modes cli et fpm doivent généralement être configurées séparément
1. L'ancienne méthode d'ajout consiste généralement à ajouter une ligne directement dans le fichier php.ini : extension=uuid.so;
2. est généralement /etc/php/php7.2/mods- availableAjoutez le fichier uuid.ini et ajoutez une ligne extension=uuid.so;
3 Ajouter à la configuration fpm et cli
$ sudo ln -s /etc/php/7.2/mods-available/uuid.ini /etc/php/7.2/fpm/conf.d/uuid.ini $ sudo ln -s /etc/php/7.2/mods-available/uuid.ini /etc/php/7.2/cli/conf.d/uuid.ini
4. . Redémarrez fpm
sudo service php7.2-fpm reload
5. Vérifiez si l'installation a réussi
$ php -m |grep uuid
via phpinfo () Voir
<?php if (function_exists('uuid_create') === true) { echo uuid_create(), "<br>"; echo uuid_create(1); } else { echo 'uuid未安装'; }
:
33303096-b9c8-4e65-b4fd-3649e008b0e3 9f23c3b9-62c2-11ea-81b4-080027b68021
[Apprentissage recommandé : "Tutoriel vidéo PHP"]
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!