(install
 (files belenios-tool.html)
 (section share)
 (package belenios-server))

(executable
 (name tool_js_booth)
 (modes js)
 (modules tool_js_booth)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_credgen)
 (modes js)
 (modules tool_js_credgen)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_api belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_tkeygen)
 (modes js)
 (modules tool_js_tkeygen)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_api belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_ttkeygen)
 (modes js)
 (modules tool_js_ttkeygen)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_api belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_pd)
 (modes js)
 (modules tool_js_pd)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_api belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_questions)
 (modes js)
 (modules tool_js_questions)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_shuffle)
 (modes js)
 (modules tool_js_shuffle)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js_fingerprint)
 (modes js)
 (modules tool_js_fingerprint)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))

(executable
 (name tool_js)
 (modes js)
 (modules tool_js)
 (js_of_ocaml (javascript_files ../../../../ext/sjcl/sjcl.js ../../../../ext/jsbn/BigIntCompatFull.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios belenios_tool_common belenios_js)
 (preprocess (pps js_of_ocaml-ppx)))
