https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5f51c434c39d9ce85ec82cb9d38b9fa3f4b9e221 authored by Felix Puscasu on 15 February 2024, 16:44:21 UTC
RISC-V: Smrnmi-ext: WARL checks
Tip revision: 5f51c43
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