include/simgrid/config.h.in

   1 /* simgrid/config.h - Results of the configure made visible to user code.   */
   2
   3 /* Copyright (c) 2009-2022. The SimGrid Team. All rights reserved.          */
   4
   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. */
   7
   8 #ifndef SIMGRID_PUBLIC_CONFIG_H
   9 #define SIMGRID_PUBLIC_CONFIG_H
  10 #include <xbt/base.h>
  11
  12 /* Was MSG compiled in?  */
  13 #cmakedefine01 SIMGRID_HAVE_MSG
  14 /* Were mallocators (object pools) compiled in? */
  15 #cmakedefine01 SIMGRID_HAVE_MALLOCATOR
  16 /* Was the model-checking compiled in? */
  17 #cmakedefine01 SIMGRID_HAVE_MC
  18 /* Was the ns-3 support compiled in? */
  19 #cmakedefine01 SIMGRID_HAVE_NS3
  20 #cmakedefine NS3_MINOR_VERSION @NS3_MINOR_VERSION@
  21 #endif /* SIMGRID_PUBLIC_CONFIG_H */