| #define LEAN_VERSION_MAJOR @LEAN_VERSION_MAJOR@ | |
| #define LEAN_VERSION_MINOR @LEAN_VERSION_MINOR@ | |
| #define LEAN_VERSION_PATCH @LEAN_VERSION_PATCH@ | |
| // Additional version description like "nightly-2018-03-11" | |
| #define LEAN_SPECIAL_VERSION_DESC "@LEAN_SPECIAL_VERSION_DESC@" | |
| // When git_sha1 is not avilable, lean reads bin/version file and | |
| // assign its contents to LEAN_PACKAGE_VERSION | |
| #define LEAN_PACKAGE_VERSION "@LEAN_PACKAGE_VERSION@" |