PHPのエクステンションを追加

PHPをコンパイルしてインストールしたPHP7に後からエクステンションを追加しようと思っています。
マニュアル通りの手順で行っておりますがなかなかうまくいきません。デバック方法などおしえていただければと思っています。
CentOS7の環境で、例えばcurlのインストールの場合ですが、

bash
1cd /usr/local/src/php-7.2.11/ext
2cd curl
3phpize
4./configure --with-curl
5make
6make test
7make install

ここまでで特にエラーなどはありません。正常に見えます。
エクステンションのディレクトリは、/usr/local/lib/php/extensions/no-debug-zts-20170718/で、
curl.soが作成されました。
php.iniの設定で、

php.ini
1extension_dir = /usr/local/lib/php/extensions/no-debug-zts-20170718
2extension=curl

ここまでで、Apacheの再起動をしてphpinfoで確認してもcurlが入ってこないです。
php -mの結果も

# php -m
[PHP Modules]
Core
ctype
date
dom
fileinfo
filter
hash
iconv
json
libxml
mbstring
mysqlnd
pcntl
pcre
PDO
pdo_sqlite
Phar
posix
Reflection
session
SimpleXML
sockets
SPL
sqlite3
standard
tokenizer
xml
xmlreader
xmlwriter

といった感じでPHPに組み込まれませんでした。
curl自体はきちんと動いていて、

curl -L localhost

などでレスポンスがあります。
その他のエクステンションでやってみたりサーバーの再起動、make cleanなどいろいろやりましたが、なかなかうまくいなかないようです。
よろしくお願いします。

phpのバージョンは、

$ php -v
PHP 7.2.11 (cli) (built: Nov  1 2018 00:16:28) ( ZTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies

となります。

行動規範の内容に同意します

回答2件

修正されているphp.iniは確かに読まれているものですか？

php --infoの出力をextension_dirで検索して、目的のディレクトリになっていますか？

extension_dirを/usr/lib64/php/modulesなど、すでに他のextentionが入っているディレクトリに
設定し、そこにcurl.soをコピーしても同じですか？
↑ 私はこの方法でしかやったことがなく、それでできました。
extension_dirは複数指定できないみたいです。（PHP5でしたが。）

投稿2018/10/31 09:35

編集2018/10/31 09:39

taka-saan

総合スコア665

osamuya

2018/10/31 09:43

下記にも書き込みましがが、php.iniの設定がなにかしらおかしい感じがしてます。 extension_dirのパスはphpinfo()の内容からすると、間違いはありませんでした。。

taka-saan

2018/10/31 09:46

（念のため）webで使おうとしている場合はecho phpinfo()を設置、コマンドラインから使おうとしている場合はphp --infoを参照してくださいね。

osamuya

2018/10/31 09:59

あ、大丈夫です。どちらも同じ結果になっております。 /usr/local/lib/php/extensions/no-debug-zts-20170718

行動規範の内容に同意します

ベストアンサー

php.iniの記述 extension=curl.so のような気がします。

投稿2018/10/31 09:27

colling

総合スコア798

osamuya

2018/10/31 09:31

ありがとうございます。現在、以下のような設定になっています。 extension_dir = /usr/local/lib/php/extensions/no-debug-zts-20170718 ;extension=bz2 extension=curl ;extension=fileinfo ....（省略）...... ;extension=pdo_pgsql ;extension=pdo_sqlite ;extension=pgsql 他のものは.soがなかったので、つけないでおいたのですが、おっしゃるように.soをつけて再起動してみても駄目でした。

osamuya

2018/10/31 09:33

ちょっと今変な事象を発見したのですが、php.iniを削除しても問題なくPHPが動いているのですが、これ変ですよね。。

osamuya

2018/10/31 09:35

php.iniの設定が反映されていないということになりますでしょうか。。

colling

2018/10/31 09:36

あ、じゃぁ、編集しているphp.iniが違うかもですね。ヴァーチャルホスト用のphp.iniとかphp.iniは複数あるので、phpinfo()を設置してみて、動作時のphp.iniのパスをみてください。

osamuya

2018/10/31 09:42

Configuration File (php.ini) Path /usr/local/lib という結果でしたが、該当のphp.iniはありませんでした。。 findで全文検索してみましたが、現在のOSの中にはphp.iniが無い状態になっています。（が、phpは動いています。）