最近、GMP 拡張機能を共有ライブラリとして使用するように PHP CLI を再コンパイルしdpkg -i、PHP5 の Ubuntu パッケージで提供されるソースを使用してインストールしました ( apt-get source php5)。その後、PHP は gmp.so ファイルを見つけることができませんでした。システムでこのファイルを実行した後find、このファイルが php5-5.3.2/cli-build/modules/gmp.so ディレクトリ (元の PHP ソースがあったツリー内) にあることがわかりました。パッケージ インストーラーがこのライブラリを指定されたインストール ディレクトリにコピーしなかったことに驚きました (これは、他のすべての PHP 拡張機能に対して行われます)。これはバグですか、それともコンパイル/インストール プロセスの一部が欠けているのでしょうか?
これが私のconfigureコマンドです：
'../configure' '--build=i486-linux-gnu' '--host=i486-linux-gnu' '--disable-all' \
'--prefix=/usr' '--with-config-file-path=/etc/php5/clibare' \
'--with-config-file-scan-dir=/etc/php5/clibare/conf.d' '--with-mysql=shared,/usr/lib' \
'--with-curl=shared,/usr' '--enable-pcntl' '--enable-posix' '--enable-json' \
'--with-gmp=shared,/usr' '--with-system-tzdata'