PHP 7.0.19でコンパイルエラー

CentOS 5.11というサポート期限の切れたOSでPHP 7.0.19をtarballからbuildしようとするとmake途中で
ext/standard/.libs/var.o: In function `php_var_export_ex': /path-to-php-7.0.19/ext/standard/var.c:469: undefined reference to `isfinite' main/.libs/php_variables.o: In function `zend_dval_to_lval': /path-to-php-7.0.19/Zend/zend_operators.h:117: undefined reference to `isfinite' Zend/.libs/zend_operators.o: In function `zendi_smart_strcmp': /path-to-php-7.0.19/Zend/zend_operators.c:2774: undefined reference to `isfinite' Zend/.libs/zend_operators.o: In function `zend_dval_to_lval': /path-to-php-7.0.19/Zend/zend_operators.h:117: undefined reference to `isfinite' /path-to-php-7.0.19/Zend/zend_operators.h:117: undefined reference to `isfinite' Zend/.libs/zend_operators.o:/path-to-php-7.0.19/Zend/zend_operators.h:117: more undefined references to `isfinite' follow collect2: ld returned 1 exit status make: *** [sapi/cli/php] Error 1
というエラーが出てabortしてしまいます。PHPのバージョン7.0.19に限定した問題ではなく、7.0.17以降および7.1.4以降でも出ている問題のようです。
解決方法としてはBug #74507 74265 still not fixed -- isfinite failure remainsに載ってますように
$ make distclean $ rm -f configure $ ./buildconf --force
configureコマンド(ファイル)を作り直すだけです。一度makeコマンドを走らせていた場合は、残骸を"make distclean"コマンドで消去してから再度configureからやり直して下さい。
OSのサポート期限が切れたら何かあっても自己責任
という点をお忘れなく。「動く」ということと「問題がない」とは別次元の問題であり、「動く=問題がない」ではありませんから。
still not fixed
つまり「まだ修正されていない!」ということですが、サポートの切れたOSのために修正するつもりなどサラサラ無いと思いますよ。なんか同じようなことを以前も書いた気がするのですが...デジャヴュかな?(笑)