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

(executable
 (name tool_js_credgen)
 (modes js)
 (modules tool_js_credgen)
 (js_of_ocaml
  (javascript_files ../../../../ext/sjcl/sjcl.js
    ../../../../ext/jsbn/BigIntCompatFull.js
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.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
    ../../../../ext/libsodium/libsodium.js))
 (libraries js_of_ocaml-lwt belenios-platform-js belenios
   belenios_tool_common belenios_js)
 (preprocess
  (pps js_of_ocaml-ppx)))
