(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 "|}")))))