https://gitlab.com/tezos/tezos
Raw File
Tip revision: eb86eda63dfe730bac3d9b74c9b4300904a0ca2e authored by Arvid Jakobsson on 26 January 2024, 14:00:45 UTC
CI: Generate [before_merging] pipeline
Tip revision: eb86eda
dune
; 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
  octez-smart-rollup-wasm-debugger-lib)
 (link_flags
  (:standard)
  (:include %{workspace_root}/static-link-flags.sexp)
  (:include %{workspace_root}/macos-link-flags.sexp))
 (flags
  (:standard)
  -open Octez_smart_rollup_wasm_debugger_lib))
back to top