/* internal_config.h -- characteristics of the platform, as probed by Cmake */
-/* Warning: The file internal_config.h is AUTOMATICALLY GENERATED by Cmake.
+/* Warning: The file internal_config.h is AUTOMATICALLY GENERATED by Cmake.
* Edit the template instead: tools/cmake/src/internal_config.h.in */
-/* Copyright (c) 2004-2016. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2004-2018. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "simgrid_config.h" /* what was compiled in? */
+#include "simgrid/config.h" /* what was compiled in? */
/* Non-standard header files */
/* <execinfo.h> */
/* <valgrind/valgrind.h> */
#cmakedefine01 HAVE_VALGRIND_H
+/* Address Sanitizer */
+#cmakedefine01 HAVE_SANITIZE_ADDRESS
+#cmakedefine01 HAVE_SANITIZE_ADDRESS_FIBER_SUPPORT
+
/* Time portability */
/* Function gettimeofday */
#cmakedefine01 HAVE_GETTIMEOFDAY
#cmakedefine01 HAVE_PTHREAD
/* Does not seems defined on Mac nor Windows */
#cmakedefine01 HAVE_PTHREAD_SETAFFINITY
-/* If __thread is available */
-#cmakedefine01 HAVE_THREAD_LOCAL_STORAGE
/* Variables for the raw contexts (to select the right assembly code) */
#cmakedefine01 SIMGRID_PROCESSOR_i686