2025-10-06 22:26:50 +02:00
|
|
|
(library
|
|
|
|
|
(name include)
|
|
|
|
|
; (wrapped false)
|
|
|
|
|
(modules taler_signatures)
|
|
|
|
|
(libraries))
|
|
|
|
|
|
|
|
|
|
(executable
|
|
|
|
|
(name gen_taler_signatures)
|
2025-10-08 22:38:04 +02:00
|
|
|
(modules gen_taler_signatures)
|
2025-10-06 22:26:50 +02:00
|
|
|
(libraries fmt angstrom))
|
|
|
|
|
|
2025-10-08 22:38:04 +02:00
|
|
|
; 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
|
