(library
 (name staged_ledger)
 (public_name staged_ledger)
 (library_flags -linkall)
 (inline_tests
  (flags -verbose -show-counts))
 (libraries
  ;; opam libraries
  async
  async_unix
  core
  integers
  lens
  ppx_hash.runtime-lib
  ;; local libraries
  mina_stdlib
  cache_dir
  child_processes
  coda_genesis_ledger
  consensus
  currency
  data_hash_lib
  error_json
  genesis_constants
  internal_tracing
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic
  ledger_proof
  logger
  merkle_ledger
  mina_base
  mina_generators
  mina_ledger
  mina_metrics
  mina_numbers
  mina_signature_kind
  mina_state
  mina_transaction
  mina_transaction_logic
  mina_wire_types
  o1trace
  one_or_two
  pickles
  pickles.backend
  pickles_types
  ppx_version.runtime
  quickcheck_lib
  random_oracle
  random_oracle_input
  sgn
  signature_lib
  snarky.backendless
  snark_params
  snark_work_lib
  staged_ledger_diff
  transaction_snark
  transaction_snark_scan_state
  transaction_snark_work
  transaction_witness
  verifier
  with_hash
  zkapp_command_builder)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   lens.ppx_deriving
   ppx_assert
   ppx_bin_prot
   ppx_compare
   ppx_custom_printf
   ppx_deriving.make
   ppx_deriving_yojson
   ppx_fields_conv
   ppx_inline_test
   ppx_let
   ppx_mina
   ppx_pipebang
   ppx_sexp_conv
   ppx_version))
 (synopsis "Staged Ledger updates the current ledger with new transactions"))
