2beb948a3b
Makes the LLVM triple of the current platform available to Lean code towards a solution for #2754. Defaults to the empty string if the compiler is not clang, which can introduce some divergence between CI and local builds but should not be noticeable in most cases and is not really possible to avoid.
10 lines
395 B
C
10 lines
395 B
C
#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_PLATFORM_TARGET "@LEAN_PLATFORM_TARGET@"
|