From dd0ca73005c7de18e2e59f335db6f77938fc531a Mon Sep 17 00:00:00 2001 From: swrup Date: Wed, 8 Oct 2025 22:38:04 +0200 Subject: [PATCH] keep taler_signatures.ml version --- include/dune | 36 ++++------------ include/gen_taler_signatures.ml | 7 +++- include/taler_signatures.ml | 74 +++++++++++++++++++++++++++++++++ 3 files changed, 86 insertions(+), 31 deletions(-) create mode 100644 include/taler_signatures.ml diff --git a/include/dune b/include/dune index b24da6fc..df2b6ee1 100644 --- a/include/dune +++ b/include/dune @@ -4,36 +4,14 @@ (modules taler_signatures) (libraries)) -(rule - (targets taler_signatures.ml) - (deps ./gen_taler_signatures.exe) - (action - (with-stdout-to - %{targets} - (run ./gen_taler_signatures.exe)))) - (executable (name gen_taler_signatures) - (modules gen_taler_signatures data) + (modules gen_taler_signatures) (libraries fmt angstrom)) -(rule - (targets taler_signatures.h) - (action - (run - wget - -q - -O - %{targets} - "https://git.taler.net/exchange.git/plain/src/include/taler/taler_signatures.h"))) - -(rule - (targets data.ml) - (deps taler_signatures.h) - (action - (with-stdout-to - %{targets} - (progn - (echo "let content = {|") - (cat taler_signatures.h) - (echo "|}"))))) +; we prefer to generate taler_signatures.ml once, +; and commit it, for versionning: +; +; wget -q -O taler_signatures.h "https://git.taler.net/exchange.git/plain/src/include/taler/taler_signatures.h" +; dune exec ./include/gen_taler_signatures.exe > ./include/taler_signatures.ml +; rm taler_signatures.h diff --git a/include/gen_taler_signatures.ml b/include/gen_taler_signatures.ml index 27472b3a..da401ea2 100644 --- a/include/gen_taler_signatures.ml +++ b/include/gen_taler_signatures.ml @@ -38,13 +38,16 @@ let parse input = | Ok defs -> defs | Error msg -> failwith msg +let read_file file = In_channel.with_open_bin file In_channel.input_all + let () = - let l = parse Data.content in + 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 pp) l; + Fmt.pr "%a" (Fmt.list ~sep:Fmt.nop pp) l; () diff --git a/include/taler_signatures.ml b/include/taler_signatures.ml new file mode 100644 index 00000000..41332b28 --- /dev/null +++ b/include/taler_signatures.ml @@ -0,0 +1,74 @@ +let master_aml_key : int32 = 1017_l +let master_drain_profit : int32 = 1018_l +let master_partner_details : int32 = 1019_l +let master_signing_key_revoked : int32 = 1020_l +let master_add_wire : int32 = 1021_l +let master_global_fees : int32 = 1022_l +let master_del_wire : int32 = 1023_l +let master_signing_key_validity : int32 = 1024_l +let master_denomination_key_validity : int32 = 1025_l +let master_add_auditor : int32 = 1026_l +let master_del_auditor : int32 = 1027_l +let master_wire_fees : int32 = 1028_l +let master_denomination_key_revoked : int32 = 1029_l +let master_wire_details : int32 = 1030_l +let master_extension : int32 = 1031_l +let exchange_reserve_status : int32 = 1032_l +let exchange_confirm_deposit : int32 = 1033_l +let exchange_confirm_melt : int32 = 1034_l +let exchange_key_set : int32 = 1035_l +let exchange_confirm_wire : int32 = 1036_l +let exchange_confirm_wire_deposit : int32 = 1037_l +let exchange_confirm_refund : int32 = 1038_l +let exchange_confirm_recoup : int32 = 1039_l +let exchange_reserve_closed : int32 = 1040_l +let exchange_confirm_recoup_refresh : int32 = 1041_l +let exchange_affirm_denom_unknown : int32 = 1042_l +let exchange_affirm_denom_expired : int32 = 1043_l +let exchange_confirm_purse_creation : int32 = 1045_l +let exchange_confirm_purse_merged : int32 = 1046_l +let exchange_purse_status : int32 = 1047_l +let exchange_reserve_attest_details : int32 = 1048_l +let exchange_confirm_purse_refund : int32 = 1049_l +let exchange_confirm_withdraw : int32 = 1050_l +let auditor_exchange_keys : int32 = 1064_l +let merchant_contract : int32 = 1101_l +let merchant_refund : int32 = 1102_l +let merchant_track_transaction : int32 = 1103_l +let merchant_payment_ok : int32 = 1104_l +let merchant_wire_details : int32 = 1107_l +let merchant_token_issue : int32 = 1108_l +let wallet_reserve_withdraw : int32 = 1200_l +let wallet_coin_deposit : int32 = 1201_l +let wallet_coin_melt : int32 = 1202_l +let wallet_coin_recoup : int32 = 1203_l +let wallet_coin_link : int32 = 1204_l +let wallet_account_setup : int32 = 1205_l +let wallet_coin_recoup_refresh : int32 = 1206_l +let wallet_age_attestation : int32 = 1207_l +let wallet_reserve_history : int32 = 1208_l +let wallet_coin_history : int32 = 1209_l +let wallet_purse_create : int32 = 1210_l +let wallet_purse_deposit : int32 = 1211_l +let wallet_purse_status : int32 = 1212_l +let wallet_purse_merge : int32 = 1213_l +let wallet_account_merge : int32 = 1214_l +let wallet_reserve_close : int32 = 1215_l +let wallet_purse_econtract : int32 = 1216_l +let wallet_reserve_open : int32 = 1217_l +let wallet_reserve_open_deposit : int32 = 1218_l +let wallet_reserve_attest_details : int32 = 1219_l +let wallet_purse_delete : int32 = 1220_l +let wallet_reserve_age_withdraw : int32 = 1221_l +let wallet_token_use : int32 = 1222_l +let mailbox_messages_delete : int32 = 1223_l +let sm_rsa_denomination_key : int32 = 1250_l +let sm_signing_key : int32 = 1251_l +let sm_cs_denomination_key : int32 = 1252_l +let client_test_eddsa : int32 = 1302_l +let exchange_test_eddsa : int32 = 1303_l +let aml_decision : int32 = 1350_l +let aml_query : int32 = 1351_l +let kyc_auth : int32 = 1360_l +let anastasis_policy_upload : int32 = 1400_l +let sync_backup_upload : int32 = 1450_l