10 #define DERECHO_MINOR_VERSION 9 11 #define DERECHO_PATCH_VERSION 1 12 #define DERECHO_COMMITS_AHEAD 181 14 #ifndef DERECHO_MAJOR_VERSION 15 #define DERECHO_MAJOR_VERSION 0 17 #ifndef DERECHO_MINOR_VERSION 18 #define DERECHO_MINOR_VERSION 0 20 #ifndef DERECHO_PATCH_VERSION 21 #define DERECHO_PATCH_VERSION 0 23 #ifndef DERECHO_COMMITS_AHEAD 24 #define DERECHO_COMMITS_AHEAD 0 28 #define QUOTE(x) STR(x) #define DERECHO_PATCH_VERSION
#define DERECHO_MINOR_VERSION
#define DERECHO_MAJOR_VERSION
const int COMMITS_AHEAD_OF_VERSION
If the currently-compiled version of the Derecho library is more recent than the last "release" versi...
const int PATCH_VERSION
The current "patch" (more-minor) version number of the Derecho library, as defined by Git...
#define DERECHO_COMMITS_AHEAD
const char * VERSION_STRING
A constant C-style string containing the current Derecho library version in dot-separated format...
const int MAJOR_VERSION
The current major version number of the Derecho library, as defined by Git.
const int MINOR_VERSION
The current minor version number of the Derecho library, as defined by Git.
const char * VERSION_STRING_PLUS_COMMITS
A constant C-style string containing the current Derecho library version in dot-separated format...