kill xbt_os_sem_t and the required cmake-detection cruft

[simgrid.git] / tools / cmake / src / internal_config.h.in

diff --git a/tools/cmake/src/internal_config.h.in b/tools/cmake/src/internal_config.h.in
index 3b9e9f4..97c598b 100644 (file)
--- a/tools/cmake/src/internal_config.h.in
+++ b/tools/cmake/src/internal_config.h.in
@@ -11,8 +11,6 @@
 #include "simgrid/config.h"       /* what was compiled in? */
 
 /* Non-standard header files */
-/* <execinfo.h> */
-#cmakedefine01 HAVE_EXECINFO_H
 /* <linux/futex.h> */
 #cmakedefine01 HAVE_FUTEX_H
 /* <signal.h> */
@@ -68,8 +66,6 @@
 #cmakedefine01 HAVE_MMALLOC
 /* process_vm_readv: transfer data between process address spaces */
 #cmakedefine01 HAVE_PROCESS_VM_READV
-/* Set to true if enable_model-checking is true and the dependencies available */
-#cmakedefine01 SIMGRID_HAVE_MC
 
 /* SMPI variables */
 /* SMPI enabled */
@@ -87,27 +83,21 @@
 #cmakedefine01 HAVE_SENDFILE
 
 /* Other function checks */
-/* Function backtrace */
-#cmakedefine01 HAVE_BACKTRACE
 /* Function dlfunc */
 #cmakedefine01 HAVE_DLFUNC
 /* Function mmap */
 #cmakedefine01 HAVE_MMAP
 /* Function mremap */
 #cmakedefine01 HAVE_MREMAP
-/* Function sem_init (part of XPG6 standard only) */
-#cmakedefine01 HAVE_SEM_INIT
-/* Function popen */
-#cmakedefine01 HAVE_POPEN
 /* Function sysconf */
 #cmakedefine01 HAVE_SYSCONF
 /* Function vasprintf */
 #cmakedefine01 HAVE_VASPRINTF
 
 /* Other checks */
-/* Path to the addr2line tool */
-#cmakedefine   ADDR2LINE "@ADDR2LINE@"
 /* The graphviz library */
 #cmakedefine01 HAVE_GRAPHVIZ
 /* The lib unwind library (for MC and backtrace display) */
 #cmakedefine01 HAVE_LIBUNWIND
+/* The boost_stacktrace_backtrace library */
+#cmakedefine01 HAVE_BOOST_STACKTRACE