; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(executable
 (name main_wasm_debugger)
 (public_name octez-smart-rollup-wasm-debugger)
 (package octez-smart-rollup-wasm-debugger)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-clic
  tezos-tree-encoding
  tezos-base.unix
  tezos-client-alpha
  tezos-scoru-wasm
  octez_smart_rollup_wasm_benchmark_lib
  tezos-scoru-wasm-helpers
  tezos-webassembly-interpreter
  tezos-webassembly-interpreter-extra)
 (link_flags
  (:standard)
  (:include %{workspace_root}/static-link-flags.sexp)
  (:include %{workspace_root}/macos-link-flags.sexp))
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_scoru_wasm_helpers
  -open Tezos_webassembly_interpreter
  -open Tezos_webassembly_interpreter_extra))