; 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
tezos-version.value)
(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))