在ubuntu上构buildphp5.3.8,得到错误:configure:error:找不到gmp.h

我使用的是Ubuntu 13.10 x64,我正在尝试构buildPHP 5.3.8,我下载了源代码并运行configure:

./configure --enable-fpm --with-fpm-user=www-data --with-fpm-group=www-data --with-tidy --with-config-file-path=/usr/local/php/conf --with-config-file-scan-dir=/usr/local/php/conf.d --enable-debug --with-openssl --with-kerberos --with-zlib --enable-calendar --with-curl --with-curlwrappers --with-enchant --enable-exif --enable-ftp --with-gd --with-jpeg-dir=/usr --with-png-dir=/usr --with-vpx-dir=/usr --with-freetype-dir=/usr --with-t1lib --enable-exif --enable-gd-native-ttf --enable-gd-jis-conv --with-gettext --with-gmp --with-mhash --enable-intl --enable-mbstring --with-mcrypt --with-mysql --with-mysqli --enable-pcntl --with-pdo-mysql --with-pdo-pgsql --with-pgsql --with-pspell --with-libedit --with-readline --enable-shmop --with-snmp --enable-soap --enable-sockets --enable-sysvmsg --enable-sysvshm --with-xsl --enable-zip --with-pear --enable-zend-signals --enable-maintainer-zts 

而我得到这个错误: configure: error: Unable to locate gmp.h

我已经安装libgmp-devlibgmp3-dev使用sudo apt-get install libgmp-dev libgmp3-dev但仍然无法运行configuration成功,我该如何解决这个问题?


如果我运行locate gmp.h我可以在这里看到它:

 /usr/include/linux/igmp.h /usr/include/netinet/igmp.h /usr/include/x86_64-linux-gnu/gmp.h /usr/src/linux-headers-3.11.0-12/include/linux/igmp.h /usr/src/linux-headers-3.11.0-12/include/uapi/linux/igmp.h /usr/src/linux-headers-3.11.0-12-generic/include/linux/igmp.h /usr/src/linux-headers-3.11.0-13/include/linux/igmp.h /usr/src/linux-headers-3.11.0-13/include/uapi/linux/igmp.h /usr/src/linux-headers-3.11.0-13-generic/include/linux/igmp.h 

谢谢!

你在系统上的任何地方都有gmp.h吗? 如果它安装在非标准的位置(或者自5.3.8发布以来标准位置已经改变),GCC可能会在错误的路径上寻找它。

我的建议是找到gmp.h,如果它不在usr / include / gmp.h中,尝试使用符号链接。

回应你的评论(因为评论语法highligher是有限的)。

尝试符号链接

 ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h 

如果失败,看看你是否可以编译包含参数

 --with-gmp=/usr/include/x86_64-linux-gnu 

看看gcc文档。 它有一个关于gmp路径的小节。

http://gcc.gnu.org/install/configure.html

这是一个错误。 我报告了它 – https://bugs.php.net/bug.php?id=69993 – 并提供了一个修复它的补丁。