(library
 (inline_tests
  (flags -verbose -show-counts))
 (name pickles)
 (public_name pickles)
 (modules_without_implementation full_signature type intf pickles_intf)
 (flags -open Core_kernel)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   ppx_version
   ppx_mina
   ppx_jane
   ppx_compare
   ppx_deriving_yojson
   h_list.ppx))
 (libraries
  ;; opam libraries
  stdio
  integers
  result
  base.caml
  bignum.bigint
  core_kernel
  base64
  digestif
  ppx_inline_test.config
  sexplib0
  base
  async_kernel
  bin_prot.shape
  ;; local libraries
  mina_wire_types
  kimchi_bindings
  kimchi_types
  pasta_bindings
  kimchi_pasta
  kimchi_pasta.basic
  kimchi_pasta.constraint_system
  kimchi_pasta_snarky_backend
  bitstring_lib
  snarky.intf
  pickles.backend
  pickles_types
  snarky.backendless
  snarky_group_map
  sponge
  pickles.pseudo
  pickles.limb_vector
  pickles_base
  plonkish_prelude
  kimchi_backend
  base58_check
  codable
  random_oracle_input
  pickles.composition_types
  pickles.plonk_checks
  pickles_base.one_hot_vector
  snarky_log
  group_map
  snarky_curve
  key_cache
  snark_keys_header
  tuple_lib
  promise
  kimchi_backend_common
  logger
  logger.context_logger
  ppx_version.runtime
  error_json
  mina_stdlib))
