Source file `version.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
let release = "2.1.0"
let release_commit = "694375b2081f51f381792fe02c3dd69a4a2e9f97"

let goblint =
  let commit = ConfigVersion.version in
  if BatString.starts_with release "%" then
    commit
  else (
    let commit =
      if commit = "n/a" then (* released archive has no .git *)
        release_commit
      else
        commit
    in
    Format.sprintf "%s (%s)" release commit
  )