From: Bruno Haible Date: Mon, 13 Nov 2023 13:32:37 +0000 (+0100) Subject: jit/cache: Fix configure test. X-Git-Tag: v1.0~593 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=39c672ed8ee9108dea1a69e3964493bd56b6cbc2;p=gnulib.git jit/cache: Fix configure test. * m4/valgrind-helper.m4 (gl_VALGRIND_HELPER): Check already at configure time whether exists. Fix AC_DEFINE_UNQUOTED invocation. --- diff --git a/ChangeLog b/ChangeLog index 09f0577925..f9b39d517e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2023-11-13 Bruno Haible + + jit/cache: Fix configure test. + * m4/valgrind-helper.m4 (gl_VALGRIND_HELPER): Check already at configure + time whether exists. Fix AC_DEFINE_UNQUOTED + invocation. + 2023-11-12 Paul Eggert rawmemchr: speed up, particularly on CHERI diff --git a/m4/valgrind-helper.m4 b/m4/valgrind-helper.m4 index b3d70a7ad9..99c31030b9 100644 --- a/m4/valgrind-helper.m4 +++ b/m4/valgrind-helper.m4 @@ -1,4 +1,4 @@ -# valgrind-helper.m4 serial 1 +# valgrind-helper.m4 serial 2 dnl Copyright (C) 2023 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, @@ -18,5 +18,13 @@ AC_DEFUN_ONCE([gl_VALGRIND_HELPER], support_valgrind=0 fi ]) - AC_DEFINE_UNQUOTED([ENABLE_VALGRIND_SUPPORT], [$support_valgrind]) + if test $support_valgrind = 1; then + AC_CHECK_HEADERS([valgrind/valgrind.h]) + if test $ac_cv_header_valgrind_valgrind_h != yes; then + AC_MSG_ERROR([cannot enable valgrind support: not found]) + fi + fi + AC_DEFINE_UNQUOTED([ENABLE_VALGRIND_SUPPORT], [$support_valgrind], + [Define to 1 to include support for running the binaries under valgrind, + or to 0 otherwise.]) ])