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-08 16:54:50 +01:00
parent c957aeb811
commit 1bf2699d77
1 changed files with 44 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tools/gen_signatures_registry.ml
View file

@ -1,3 +1,4 @@
module Recfile = struct
(* rudimentary recfile parser (* rudimentary recfile parser
https://www.gnu.org/software/recutils/manual/recutils.html#The-Rec-Format *) https://www.gnu.org/software/recutils/manual/recutils.html#The-Rec-Format *)
open Angstrom open Angstrom
@ -48,8 +49,7 @@ let recfile : record list t =
skip_many (comment <|> blank) *> records <* skip_many (comment <|> blank) skip_many (comment <|> blank) *> records <* skip_many (comment <|> blank)
let parse s = parse_string ~consume:All recfile s let parse s = parse_string ~consume:All recfile s
end
(* -- *)
let url = let url =
"https://git-www.gnunet.org/gana.git/plain/gnunet-signatures/registry.rec" "https://git-www.gnunet.org/gana.git/plain/gnunet-signatures/registry.rec"
@ -78,6 +78,7 @@ let parse_purposes records =
|> List.filter_map (fun l -> |> List.filter_map (fun l ->
match l with match l with
| a :: b :: c :: _ -> ( | a :: b :: c :: _ -> (
let open Recfile in
match a.k = "Number" && b.k = "Name" && c.k = "Comment" with match a.k = "Number" && b.k = "Name" && c.k = "Comment" with
| false -> None | false -> None
| true -> | true ->
@ -93,7 +94,7 @@ let parse_purposes records =
let () = let () =
download (); download ();
let content = read_file registry_file in let content = read_file registry_file in
match 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 let purposes = parse_purposes records in