| #pragma once | |
| #define LEAN_VERSION_MAJOR @LEAN_VERSION_MAJOR@ | |
| #define LEAN_VERSION_MINOR @LEAN_VERSION_MINOR@ | |
| #define LEAN_VERSION_PATCH @LEAN_VERSION_PATCH@ | |
| #define LEAN_VERSION_IS_RELEASE @LEAN_VERSION_IS_RELEASE@ | |
| // Additional version description like "nightly-2018-03-11" | |
| #define LEAN_SPECIAL_VERSION_DESC "@LEAN_SPECIAL_VERSION_DESC@" | |
| #define LEAN_VERSION_STRING "@LEAN_VERSION_STRING@" | |
| #define LEAN_PLATFORM_TARGET "@LEAN_PLATFORM_TARGET@" | |
| #define LEAN_MANUAL_ROOT "@LEAN_MANUAL_ROOT@" |