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 20:03:51 +01:00
parent 7597c02c1c
commit f48bc395ee
10 changed files with 326 additions and 256 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 mirage-crypto-ec ptime fmt angstrom amount b32))
(libraries mirage-crypto-ec ptime fmt angstrom uri amount b32))
; we prefer to generate taler_signatures.ml once,
; and commit it, for versionning: