我将回答我自己(终于!)
可以使用 "php-config" shell 脚本查看当前的 "configure 选项",以及其他编译时选项 =D!!! ...
在某些发行版中,它与 "php-devel" 包一起提供... 但直到在线手册中提到 "php-config" 的 pecl 扩展文档(我在 pecl 网站上找不到),我不知道 "php-devel" 是否与之有关
... 但是我注意到它们是脚本内部的文字字符串,我希望脚本本身是与 php 编译一起构建的 o_O
在前面的页面 "配置选项"(上面显示的链接 ^)中,有一个编辑器注释,其中包含有关它的附加信息