mv gen_taler_signatures scripts to mte_scripts
This commit is contained in:
parent
9b760b436f
commit
a774ea11ac
4 changed files with 4 additions and 86 deletions
17
include/dune
17
include/dune
|
|
@ -4,24 +4,7 @@
|
|||
(modules taler_signatures)
|
||||
(libraries))
|
||||
|
||||
(executable
|
||||
(name gen_taler_signatures)
|
||||
(modules gen_taler_signatures)
|
||||
(libraries fmt angstrom))
|
||||
|
||||
(executable
|
||||
(name gen_eddsa_key)
|
||||
(modules gen_eddsa_key)
|
||||
(libraries fmt mirage-crypto-rng.unix mirage-crypto-ec b32))
|
||||
|
||||
(library ; todo: should I have a /lib?
|
||||
(name parse_config)
|
||||
(modules parse_config)
|
||||
(libraries mirage-crypto-ec ptime fmt angstrom uri amount b32))
|
||||
|
||||
; 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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue