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

better config: parse file + crunch

Browse source
This commit is contained in:
swrup 2025-11-20 18:38:01 +01:00
parent e2d3986989
commit cc46980a67
11 changed files with 481 additions and 234 deletions
Download patch file Download diff file Expand all files Collapse all files

4
include/dune
View file

@ -14,10 +14,10 @@
(modules gen_eddsa_key)
(libraries fmt mirage-crypto-rng.unix mirage-crypto-ec b32))
(executable
(library ; todo: should I have a /lib?
(name parse_config)
(modules parse_config)
(libraries fmt angstrom amount))
(libraries mirage-crypto-ec ptime fmt angstrom uri amount b32))
; we prefer to generate taler_signatures.ml once,
; and commit it, for versionning: