swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-02-17 06:38:50 +01:00
parent 45648f15c1
commit 435c1174bc
2 changed files with 27 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tools/dune
View file

@ -5,7 +5,7 @@
(libraries cmdliner bos fmt mirage-crypto ptime mte vif)) (libraries cmdliner bos fmt mirage-crypto ptime mte vif))
(executable (executable
(public_name gen_signatures_registry) (public_name gen_taler_signatures)
(name gen_signatures_registry) (name gen_taler_signatures)
(modules gen_signatures_registry) (modules gen_taler_signatures)
(libraries angstrom bos fmt)) (libraries angstrom bos fmt))

42
tools/gen_signatures_registry.ml → tools/gen_taler_signatures.ml
View file

@ -51,12 +51,7 @@ module Recfile = struct
let parse s = parse_string ~consume:All recfile s let parse s = parse_string ~consume:All recfile s
end end
let url = let download ~output ~url =
"https://git-www.gnunet.org/gana.git/plain/gnunet-signatures/registry.rec"
let registry_file = "registry.rec"
let download () =
let open Bos in let open Bos in
let res = let res =
OS.Cmd.run OS.Cmd.run
@ -65,7 +60,7 @@ let download () =
% "--silent" % "--silent"
% "--show-error" % "--show-error"
% "-o" % "-o"
% registry_file % output
% "-X" % "-X"
% "GET" % "GET"
% url) % url)
@ -100,19 +95,30 @@ let parse_purposes records =
| _ -> None) | _ -> None)
|> List.filter (fun v -> v.number >= 1000_l) |> List.filter (fun v -> v.number >= 1000_l)
let () = let print_module purposes =
download (); let header =
{|(* This file was generated from the GANA database:
https://git-www.gnunet.org/gana.git/tree/gnunet-signatures/registry.rec *)|}
in
let pp ppf { number; name; comment } =
Fmt.pf ppf "(** %s *)\nlet %s : int32 = %ld_l\n\n" comment name number
in
Fmt.pr "%s\n\n%a@." header (Fmt.list ~sep:Fmt.nop pp) purposes;
()
let url =
"https://git-www.gnunet.org/gana.git/plain/gnunet-signatures/registry.rec"
(* tmp file *)
let registry_file = "registry.rec"
let main () =
download ~output:registry_file ~url;
let content = read_file registry_file in let content = read_file registry_file in
match Recfile.parse content with match Recfile.parse content with
| Error msg -> Fmt.failwith "Recfile parse error: %s" msg | Error msg -> Fmt.failwith "Recfile parse error: %s" msg
| Ok records -> | Ok records ->
let purposes = parse_purposes records in print_module (parse_purposes records);
let header =
{|(* This file was generated from the GANA database:
https://git-www.gnunet.org/gana.git/tree/gnunet-signatures/registry.rec *)|}
in
let pp ppf { number; name; comment } =
Fmt.pf ppf "(** %s *)\nlet %s : int32 = %ld_l\n\n" comment name number
in
Fmt.pr "%s\n\n%a@." header (Fmt.list ~sep:Fmt.nop pp) purposes;
() ()
let () = main ()