1 /* simgrid/config.h - Results of the configure made visible to user code. */
3 /* Copyright (c) 2009-2020. The SimGrid Team. All rights reserved. */
5 /* This program is free software; you can redistribute it and/or modify it
6 * under the terms of the license (GNU LGPL) which comes with this package. */
8 #ifndef SIMGRID_PUBLIC_CONFIG_H
9 #define SIMGRID_PUBLIC_CONFIG_H
12 /* Was MSG compiled in? */
13 #cmakedefine01 SIMGRID_HAVE_MSG
14 /* Was Jedule compiled in? */
15 #cmakedefine01 SIMGRID_HAVE_JEDULE
16 /* Was the Lua support compiled in? */
17 #cmakedefine01 SIMGRID_HAVE_LUA
18 /* Were mallocators (object pools) compiled in? */
19 #cmakedefine01 SIMGRID_HAVE_MALLOCATOR
20 /* Was the model-checking compiled in? */
21 #cmakedefine01 SIMGRID_HAVE_MC
22 /* Was the ns-3 support compiled in? */
23 #cmakedefine01 SIMGRID_HAVE_NS3
25 #endif /* SIMGRID_PUBLIC_CONFIG_H */