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

(library
 (name tezos_benchmark_alpha)
 (public_name tezos-benchmark-alpha)
 (libraries
  octez-libs.stdlib
  octez-libs.base
  octez-libs.error-monad
  octez-libs.micheline
  tezos-micheline-rewriting
  tezos-benchmark
  tezos-benchmark-type-inference-alpha
  tezos-protocol-alpha.protocol
  octez-libs.crypto
  tezos-protocol-alpha.parameters
  hashcons
  octez-protocol-alpha-libs.test-helpers
  prbnmcn-stats)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezos_stdlib
  -open Tezos_base
  -open Tezos_error_monad
  -open Tezos_micheline
  -open Tezos_micheline_rewriting
  -open Tezos_benchmark
  -open Tezos_benchmark_type_inference_alpha
  -open Tezos_protocol_alpha
  -open Tezos_alpha_test_helpers)
 (private_modules kernel rules state_space))