Voici l’erreur que j’avais :

# php -v
PHP Warning:  PHP Startup: Unable to load dynamic library 'redis.so' (tried: /usr/lib64/php/modules/redis.so (/usr/lib64/php/modules/redis.so: undefined symbol: zval_used_for_init), /usr/lib64/php/modules/redis.so.so (/usr/lib64/php/modules/redis.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
PHP 7.2.24 (cli) (built: Oct 22 2019 08:28:36) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies

La procédure d’installation :

# yum install glibc glibc-devel gcc-c++
# yum install php-devel
# yum install make
# pecl install redis
# yum install curl-devel
# yum install php-json
# pecl install phalcon

Encore une erreur :

# php -v
PHP Warning:  PHP Startup: Unable to load dynamic library '/usr/lib64/php/modules/redis.so' (tried: /usr/lib64/php/modules/redis.so (/usr/lib64/php/modules/redis.so: undefined symbol: php_json_decode_ex), /usr/lib64/php/modules//usr/lib64/php/modules/redis.so.so (/usr/lib64/php/modules//usr/lib64/php/modules/redis.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

Je déplace le module redis pour qu’il soit lancé en dernier :

# mv /etc/php.d/redis.ini /etc/php.d/40-redis.ini
# systemctl restart php-fpm.service

Et au final ;

# php -v
PHP 7.2.24 (cli) (built: Oct 22 2019 08:28:36) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies

Maintenant cela fonctionne correctement, la version de Oracle Linux :

# cat /etc/redhat-release 
Red Hat Enterprise Linux release 8.2 (Ootpa)