(executable
 (name o1js_stub)
 (modes js)
 (flags (-g))
 (link_flags
  (-noautolink -g))
 (link_deps
  ../crypto/kimchi_bindings/js/node_js/kimchi_wasm.js
  ../crypto/kimchi_bindings/js/node_js/kimchi_wasm_bg.wasm)
 (libraries
  ;; opam libraries ;;
  core_kernel
  base
  base.caml
  integers
  sexplib0
  yojson
  ppx_deriving_yojson.runtime
  ;; local libraries ;;
  mina_wire_types
  mina_base
  mina_base.import
  snarky.backendless
  h_list
  pickles
  pickles.backend
  pickles_base
  pickles.limb_vector
  pickles_types
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic
  kimchi_pasta.constraint_system
  kimchi_backend_common
  kimchi_bindings
  kimchi_types
  pasta_bindings
  base58_check
  block_time
  currency
  data_hash_lib
  hash_prefixes
  fields_derivers
  fields_derivers.zkapps
  genesis_constants
  mina_numbers
  mina_signature_kind
  mina_transaction
  mina_transaction_logic
  random_oracle
  random_oracle_input
  sgn
  signature_lib
  snark_keys_header
  snark_params
  sponge
  tuple_lib
  unsigned_extended
  with_hash
  ;; js-specific libraries ;;
  js_of_ocaml
  bindings_js
  integers_stubs_js
  zarith_stubs_js
  bindings_js.node_backend
  ;; js-specific overrides ;;
  cache_dir.fake
  digestif.ocaml
  logger.fake
  mina_metrics.none
  promise.js
  promise.js_helpers
  run_in_thread.fake)
 (instrumentation
  (backend bisect_ppx))
 (forbidden_libraries async core re2 ctypes)
 (preprocess
  (pps ppx_custom_printf ppx_version js_of_ocaml-ppx)))
