From fb7b24114685a7e38d842168dce4c613360cd330 Mon Sep 17 00:00:00 2001 From: Fabrice Fontaine Date: Sat, 1 Jan 2022 16:53:29 +0100 Subject: [PATCH] configure: add execinfo option Add execinfo option to allow the user to disable the feature even if execinfo.h is found on the system Signed-off-by: Fabrice Fontaine --- configure | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 4dad024c4..c087502bf 100755 --- a/configure +++ b/configure @@ -75,6 +75,7 @@ OPTIONS=( "ddci:yes" "cclang_threadsan:no" "gperftools:no" + "execinfo:auto" ) # @@ -150,11 +151,23 @@ if [ ${PLATFORM} = "freebsd" ]; then # If we don't have libunwind then fallback to execinfo. if ! enabled libunwind then - check_cc_header execinfo + if enabled_or_auto execinfo; then + if check_cc_header execinfo; then + enable execinfo + else + die "execinfo.h not found (use --disable-execinfo)" + fi + fi fi else - check_cc_header execinfo + if enabled_or_auto execinfo; then + if check_cc_header execinfo; then + enable execinfo + else + die "execinfo.h not found (use --disable-execinfo)" + fi + fi fi check_cc_option mmx check_cc_option sse2 -- 2.47.2