Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2020-07-01 12:18:44 +0300
committermichael-grunder <michael.grunder@gmail.com>2020-07-01 20:48:00 +0300
commit3c56289c71516a7c0ac81713ef2786c2b9e52274 (patch)
tree862a0af985aac2f7b08b6a1d3aa21bebdbd9e4be /config.m4
parenta5783b2349eb3de899b047a7c6151859d621a6a8 (diff)
check for hash extension during the build
Diffstat (limited to 'config.m4')
-rw-r--r--config.m422
1 files changed, 22 insertions, 0 deletions
diff --git a/config.m4 b/config.m4
index 72d3c219..655557ed 100644
--- a/config.m4
+++ b/config.m4
@@ -41,6 +41,28 @@ if test "$PHP_REDIS" != "no"; then
AC_DEFINE(PHP_SESSION,1,[redis sessions])
fi
+ AC_MSG_CHECKING([for hash includes])
+ hash_inc_path=""
+ if test -f "$abs_srcdir/include/php/ext/hash/php_hash.h"; then
+ hash_inc_path="$abs_srcdir/include/php"
+ elif test -f "$abs_srcdir/ext/hash/php_hash.h"; then
+ hash_inc_path="$abs_srcdir"
+ elif test -f "$phpincludedir/ext/hash/php_hash.h"; then
+ hash_inc_path="$phpincludedir"
+ else
+ for i in php php7; do
+ if test -f "$prefix/include/$i/ext/hash/php_hash.h"; then
+ hash_inc_path="$prefix/include/$i"
+ fi
+ done
+ fi
+
+ if test "$hash_inc_path" = ""; then
+ AC_MSG_ERROR([Cannot find php_hash.h])
+ else
+ AC_MSG_RESULT([$hash_inc_path])
+ fi
+
if test "$PHP_REDIS_JSON" != "no"; then
AC_MSG_CHECKING([for json includes])
json_inc_path=""