Удивительно, но я нигде не могу найти ответ. Мне нужна помощь для установки расширения pthreads PHP на Debian 9 с установленным PHP 7.3.
Если я напишу php -v, я получу следующее:
PHP 7.3.6-1+0~20190531112735.39+stretch~1.gbp6131b7 (cli) (built: May 31 2019 11:27:35) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.3.6, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.3.6-1+0~20190531112735.39+stretch~1.gbp6131b7, Copyright (c) 1999-2018, by Zend Technologies
Я попытался загрузить файл .tgz из pecl.php.net, извлечь его, поместить в /etc/php/7.3/fpm/ext (я создал каталог ext) и определить extension_dir как этот каталог в php.ini.
Затем я записал в php.ini файл extension=/etc/php/7.3/fpm/ext/pthreads-3.1.6 и перезагрузил сервер.
Если я напишу php -m, я все равно не вижу расширения pthreads.