JJ: Description from the destination commit:
+ coin config JJ: Description from source commit: better config: parse file + crunch
This commit is contained in:
parent
6a2871492f
commit
8e51f39b65
9 changed files with 244 additions and 280 deletions
|
|
@ -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:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue