1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2026 formalsec *)
(* Written by the Smtml programmers *)
let version_string v =
match v with None -> "n/a" | Some v -> Build_info.V1.Version.to_string v
let version = version_string @@ Build_info.V1.version ()
let run () =
Fmt.pr "version: %s@." version;
let libs = Build_info.V1.Statically_linked_libraries.to_list () in
Fmt.pr "statically linked libraries:@.";
List.iter
(fun lib ->
let name = Build_info.V1.Statically_linked_library.name lib in
let version = Build_info.V1.Statically_linked_library.version lib in
Fmt.pr "- %s (%s)@." name (version_string version) )
libs