(library
 (name transaction_snark)
 (public_name transaction_snark)
 (library_flags -linkall)
 (inline_tests
  (flags -verbose -show-counts))
 (libraries
  ;; opam libraries
  async
  async_unix
  bignum
  core
  splittable_random
  ;; local libraries
  bitstring_lib
  mina_stdlib
  cache_dir
  coda_genesis_ledger
  consensus
  crypto_params
  currency
  data_hash_lib
  genesis_constants
  hash_prefix_states
  kimchi_backend
  kimchi_backend_common
  kimchi_pasta
  kimchi_pasta.basic
  logger
  merkle_ledger
  mina_base
  mina_base.util
  mina_ledger
  mina_numbers
  mina_signature_kind
  mina_state
  mina_transaction
  mina_transaction_logic
  mina_wire_types
  o1trace
  one_or_two
  pickles
  pickles.backend
  pickles_base
  pickles_types
  ppx_version.runtime
  proof_carrying_data
  quickcheck_lib
  random_oracle
  random_oracle_input
  sgn
  sgn_type
  signature_lib
  snarky.backendless
  snarky_integer
  snark_keys_header
  snark_params
  test_util
  transaction_protocol_state
  transaction_witness
  tuple_lib
  with_hash)
 (preprocess
  (pps
   h_list.ppx
   ppx_deriving.std
   ppx_deriving_yojson
   ppx_jane
   ppx_mina
   ppx_snarky
   ppx_version))
 (instrumentation
  (backend bisect_ppx))
 (synopsis "Transaction state transition snarking library"))
