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