X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e303bc683c874808621082e409ec13bcc1b17247..b5cfb55fb9e7333be3d7540164bc4c31e1059d9c:/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..8b25542733 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 */ /* */ @@ -24,6 +24,10 @@ /* */ #cmakedefine01 HAVE_VALGRIND_H +/* Address Sanitizer */ +#cmakedefine01 HAVE_SANITIZE_ADDRESS +#cmakedefine01 HAVE_SANITIZE_ADDRESS_FIBER_SUPPORT + /* Time portability */ /* Function gettimeofday */ #cmakedefine01 HAVE_GETTIMEOFDAY @@ -43,8 +47,6 @@ #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 @@ -66,7 +68,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 */