git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9292
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
/* callback to decide if we want to use the model-checking */
#include "xbt_modinter.h"
-int _surf_do_model_check = 0; /* this variable is used accros the lib */
+extern int _surf_do_model_check; /* this variable lives in xbt_main until I find a right location for it */
static void _surf_cfg_cb_model_check(const char *name, int pos)
{
XBT_LOG_EXTERNAL_CATEGORY(xbt_parmap);
XBT_LOG_EXTERNAL_CATEGORY(xbt_parmap_unit);
+int _surf_do_model_check = 0; /* this variable is used accros the libraries, and must be declared in XBT so that it's also defined in GRAS (not only in libsimgrid) */
/* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
* This is crude and rather compiler-specific, unfortunately.