php/php-7.4.0-phpize.patch
Remi Collet e68ca63021 update to 7.4.0RC3
bump API version to 20190902
drop wddx, recode and interbase extensions
add ffi extension
drop dependency on libargon2, use libsodium implementation
run test suite using 4 concurrent workers
cleanup unused conditional
add upstream patch to fix aarch64 build
2019-10-03 07:29:24 +02:00

36 lines
760 B
Diff

diff -up ./scripts/phpize.in.headers ./scripts/phpize.in
--- ./scripts/phpize.in.headers 2019-07-23 10:05:11.000000000 +0200
+++ ./scripts/phpize.in 2019-07-23 10:18:13.648098089 +0200
@@ -165,6 +165,15 @@ phpize_autotools()
$PHP_AUTOHEADER || exit 1
}
+phpize_check_headers()
+{
+ if test ! -f $includedir/main/php.h; then
+ echo "Can't find PHP headers in $includedir"
+ echo "The php-devel package is required for use of this command."
+ exit 1
+ fi
+}
+
# Main script
case "$1" in
@@ -183,12 +192,15 @@ case "$1" in
# Version
--version|-v)
+ phpize_check_headers
phpize_print_api_numbers
exit 0
;;
# Default
*)
+ phpize_check_headers
+
phpize_check_configm4 0
phpize_check_build_files