From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 15 Nov 2018 08:02:28 +0000 (+0100)
Subject: SIMGRID_HAVE_MC is already defined in <simgrid/config.h>.
X-Git-Tag: v3_22~796^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7ef1ea003b4044c288beacbf32dfee39e6428f44

SIMGRID_HAVE_MC is already defined in <simgrid/config.h>.
---

diff --git a/tools/cmake/src/internal_config.h.in b/tools/cmake/src/internal_config.h.in
index 2944eca422..d3689a724e 100644
--- a/tools/cmake/src/internal_config.h.in
+++ b/tools/cmake/src/internal_config.h.in
@@ -66,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 */