53 lines
1.3 KiB
OCaml
53 lines
1.3 KiB
OCaml
(* script to generate taler_signatures.ml module
|
|
get signatures definition form `exchange/src/include/taler/taler_signatures.h` *)
|
|
|
|
open Angstrom
|
|
|
|
type define = {
|
|
name: string;
|
|
value: int;
|
|
}
|
|
|
|
let define_line =
|
|
let is_ident_char = function
|
|
| 'A' .. 'Z' | '0' .. '9' | '_' -> true
|
|
| _ -> false
|
|
in
|
|
let p =
|
|
string "#define"
|
|
*> skip_while (( = ) ' ')
|
|
*> string "TALER_SIGNATURE_"
|
|
*> take_while1 is_ident_char
|
|
>>= fun name ->
|
|
skip_while (( = ) ' ')
|
|
*> take_while1 (function '0' .. '9' -> true | _ -> false)
|
|
>>| fun digits ->
|
|
let name = String.lowercase_ascii name in
|
|
let value = int_of_string digits in
|
|
{ name; value }
|
|
in
|
|
p <* end_of_line
|
|
|
|
let all_defines =
|
|
let any_line = take_till (Char.equal '\n') <* end_of_line in
|
|
many (choice [ define_line >>| Option.some; any_line *> return None ])
|
|
>>| List.filter_map Fun.id
|
|
|
|
let parse input =
|
|
match parse_string ~consume:All all_defines input with
|
|
| Ok defs -> defs
|
|
| Error msg -> failwith msg
|
|
|
|
let read_file file = In_channel.with_open_bin file In_channel.input_all
|
|
|
|
let () =
|
|
let content = read_file "taler_signatures.h" in
|
|
let l = parse content in
|
|
assert (List.length l = 74);
|
|
|
|
let pp ppf { name; value } =
|
|
Fmt.pf ppf "let %s : int32 = %d_l@." name value
|
|
in
|
|
Fmt.pr "%a" (Fmt.list ~sep:Fmt.nop pp) l;
|
|
|
|
()
|