在XAMPP&x27中安装GMP PHP库；行不通

我尝试使用PHP中的大整数库。
我使用XAMPP、PHP5.5.11和Ubuntu 14.04

根据多个来源，这应该很容易：

运行

sudo apt get安装php5 gmp

在php.ini中放入

extension=php\u gmp.so

或

extension=gmp.so

重新启动XAMPP

然后它就可以工作了，在phpinfo（）中我可以看到GMP版本。
但什么都不管用。我还尝试了一些毫无帮助的暗示

---

怎么了？

哈克雷在评论中给了我回答这个问题的提示：

如果安装成功，并且正确的php.ini被编辑，但是在重新启动XAMPP之后仍然存在

致命错误：在第123行
上调用/opt/lampp/htdocs/bar/barf.php中未定义的函数gmp_foo（），在php错误日志中查找启动错误可能是一个好主意。对我来说，它在
/opt/lampp/logs/php\u error\u log
中

在那里，每次重新启动XAMPP后都会显示相同的错误。如评论所示，问题在于gmp.so不在预期文件夹中。在我把它复制到那里之后，一切都正常了，phpinfo（）中现在有一个gmp部分，其中包含以下条目：

gmp支持已启用


GMP版本5.1.3
取消注释
extension=php\u GMP.dll
行。要取消注释，只需删除
“怎么了？”我们不知道。你告诉我们……我的意思是：我可以运行什么样的测试，以找出为什么对其他人有效的步骤对我无效？1）检查库是否已由apt get安装。2.）检查您是否编辑了正确的php.ini 3.）检查php启动错误。3.）我确实有一个php启动错误：
[27-Oct-2014 00:33:42 Europe/Berlin]PHP警告：PHP启动：无法加载动态库'/opt/lampp/lib/PHP/extensions/no-debug-non-zts-20121212/gmp.so'-/opt/lampp/lib/PHP/extensions/no-debug-non-zts-20121212/gmp.so:无法打开共享对象文件：在第0行的未知位置没有此类文件或目录
/opt/lampp/lib/php/extensions/no-debug-non-zts-20121212/gmp.so
，我有
/usr/lib/php5/20121212/gmp.so
。我在那里复制了它，现在它工作了。谢谢你的启动错误提示。我不明白，你为什么否决我的问题。有时候，进一步的调查需要一些提示，比如我刚刚得到的提示。