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

(library
 (name tezos_smart_rollup_alpha)
 (public_name octez-protocol-alpha-libs.smart-rollup)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  tezos-protocol-alpha.protocol)
 (inline_tests (flags -verbose) (modes native))
 (preprocess (pps ppx_expect))
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_protocol_alpha))