keep taler_signatures.ml version
This commit is contained in:
parent
d29c73f627
commit
dd0ca73005
3 changed files with 86 additions and 31 deletions
36
include/dune
36
include/dune
|
|
@ -4,36 +4,14 @@
|
|||
(modules taler_signatures)
|
||||
(libraries))
|
||||
|
||||
(rule
|
||||
(targets taler_signatures.ml)
|
||||
(deps ./gen_taler_signatures.exe)
|
||||
(action
|
||||
(with-stdout-to
|
||||
%{targets}
|
||||
(run ./gen_taler_signatures.exe))))
|
||||
|
||||
(executable
|
||||
(name gen_taler_signatures)
|
||||
(modules gen_taler_signatures data)
|
||||
(modules gen_taler_signatures)
|
||||
(libraries fmt angstrom))
|
||||
|
||||
(rule
|
||||
(targets taler_signatures.h)
|
||||
(action
|
||||
(run
|
||||
wget
|
||||
-q
|
||||
-O
|
||||
%{targets}
|
||||
"https://git.taler.net/exchange.git/plain/src/include/taler/taler_signatures.h")))
|
||||
|
||||
(rule
|
||||
(targets data.ml)
|
||||
(deps taler_signatures.h)
|
||||
(action
|
||||
(with-stdout-to
|
||||
%{targets}
|
||||
(progn
|
||||
(echo "let content = {|")
|
||||
(cat taler_signatures.h)
|
||||
(echo "|}")))))
|
||||
; 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