/* simgrid_config.h - Results of the configure made visible to user code.   */

/* Copyright (c) 2009-2016. 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. */

#ifndef SIMGRID_PUBLIC_CONFIG_H
#define SIMGRID_PUBLIC_CONFIG_H

/** Define the version numbers of the used header files. See sg_version() to retrieve the version of the dynamic library. */
#define SIMGRID_VERSION_MAJOR @SIMGRID_VERSION_MAJOR@
#define SIMGRID_VERSION_MINOR @SIMGRID_VERSION_MINOR@
#define SIMGRID_VERSION_PATCH @SIMGRID_VERSION_PATCH@

/* Version as a single integer. v3.4 is 30400, v3.16.2 is 31602, v42 will be 420000, and so on. */
#define SIMGRID_VERSION (100UL * (100UL * (@SIMGRID_VERSION_MAJOR@) + (@SIMGRID_VERSION_MINOR@)) + (@SIMGRID_VERSION_PATCH@))

#define SIMGRID_VERSION_STRING "@SIMGRID_VERSION_STRING@"

#define HAVE_JEDULE     @HAVE_JEDULE@ /* Was Jedule compiled in?  */
#define HAVE_LUA        @HAVE_LUA@ /* Was the Lua support compiled in? */
#define HAVE_MALLOCATOR @HAVE_MALLOCATOR@ /* Were mallocators (object pools) compiled in? */
#define HAVE_MC         @HAVE_MC@ /* Was the model-checking compiled in? */
#define HAVE_NS3        @HAVE_NS3@ /* Was the NS3 support compiled in? */

#endif /* SIMGRID_PUBLIC_CONFIG_H */