max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(library/init/version): add lean.githash : string

Browse source
This commit is contained in:
Leonardo de Moura 2017-12-20 14:00:41 -08:00
parent c6ddc51c2b
commit ddf014cc7f
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
library/init/version.lean.in
View file

@ -1,5 +1,8 @@
prelude
import init.data.nat.basic
import init.data.nat.basic init.data.string.basic
def lean.version : nat × nat × nat :=
(@LEAN_VERSION_MAJOR@, @LEAN_VERSION_MINOR@, @LEAN_VERSION_PATCH@)
def lean.githash : string :=
"@GIT_SHA1@"