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

(library
 (name tezos_benchmarks_proto_alpha)
 (public_name tezos-benchmarks-proto-alpha)
 (instrumentation (backend bisect_ppx))
 (libraries
  str
  octez-libs.stdlib
  octez-libs.base
  octez-libs.error-monad
  tezos-protocol-alpha.parameters
  octez-libs.lazy-containers
  tezos-benchmark
  tezos-benchmark-alpha
  tezos-benchmark-type-inference-alpha
  tezos-protocol-alpha.protocol
  octez-libs.crypto
  octez-shell-libs.shell-benchmarks
  octez-libs.micheline
  octez-protocol-alpha-libs.test-helpers
  octez-libs.tezos-sapling
  octez-protocol-alpha-libs.client
  octez-protocol-alpha-libs.plugin
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezos_stdlib
  -open Tezos_base
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
  -open Tezos_error_monad
  -open Tezos_protocol_alpha_parameters
  -open Tezos_lazy_containers
  -open Tezos_benchmark
  -open Tezos_benchmark_alpha
  -open Tezos_benchmark_type_inference_alpha
  -open Tezos_protocol_alpha
  -open Tezos_protocol_alpha.Protocol
  -open Tezos_micheline
  -open Tezos_alpha_test_helpers
  -open Tezos_client_alpha
  -open Tezos_protocol_plugin_alpha))