add include library: taler_signatures.ml
This commit is contained in:
parent
46caf0b578
commit
b7b28af6fe
4 changed files with 112 additions and 0 deletions
39
include/dune
Normal file
39
include/dune
Normal file
|
|
@ -0,0 +1,39 @@
|
|||
(library
|
||||
(name include)
|
||||
; (wrapped false)
|
||||
(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)
|
||||
(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 "|}")))))
|
||||
Loading…
Add table
Add a link
Reference in a new issue