Remove detection for -lexecinfo

This was needed for caml_print_trace in multicore, but this function was removed prior to merging. The functions in execinfo.h are used in the tests for frame pointers, but this is Linux-only and the functions are implemented in glibc.
jberdine · May 24, 2023 · e120d5b · e120d5b
1 parent 8778780
commit e120d5b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 43 deletions.
diff --git a/Changes b/Changes
@@ -747,6 +747,10 @@ OCaml 5.1.0
   exception backtraces for them.
   (Xavier Leroy, review by David Allsopp, report by Fabrice Le Fessant)
 
+- #12265: Stop adding -lexecinfo to cclibs (leftover debugging code from the
+  multicore project).
+  (David Allsopp, review by Sébastien Hinderer)
+
 ### Bug fixes:
 
 - #12017: Re-register finaliser only after calling user alarm in Gc.create_alarm

diff --git a/configure b/configure
diff --git a/configure.ac b/configure.ac
@@ -2225,8 +2225,6 @@ ocamlc_cflags="$common_cflags $sharedlib_cflags $CFLAGS"
 ocamlc_cppflags="$common_cppflags $CPPFLAGS"
 cclibs="$cclibs $mathlib"
 
-AC_CHECK_LIB(execinfo, backtrace, cclibs="$cclibs -lexecinfo",[])
-
 AS_CASE([$host],
   [*-*-mingw32*],
     [bytecclibs="-lws2_32 -lversion -l:libpthread.a -lgcc_eh"