X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e303bc683c874808621082e409ec13bcc1b17247..9a0c104c8ef077732f68619071eafd1072dc246d:/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 4bc7710660..457aaf2633 100644
--- a/tools/cmake/src/internal_config.h.in
+++ b/tools/cmake/src/internal_config.h.in
@@ -1,14 +1,14 @@
 /* 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> */
@@ -24,6 +24,10 @@
 /* <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
@@ -66,7 +70,7 @@
 /* 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 HAVE_MC
+#cmakedefine01 SIMGRID_HAVE_MC
 
 /* SMPI variables */
 /* SMPI enabled */