(library
 (public_name kimchi_pasta_snarky_backend)
 (name kimchi_pasta_snarky_backend)
 (instrumentation
  (backend bisect_ppx))
 (flags -warn-error -22)
 (preprocess
  (pps ppx_version ppx_jane ppx_deriving_yojson ppx_deriving.std h_list.ppx))
 (libraries
  ;; opam libraries
  integers
  core_kernel
  ppx_inline_test.config
  sexplib0
  bin_prot.shape
  base.base_internalhash_types
  ;; local libraries
  kimchi_bindings
  kimchi_types
  pasta_bindings
  snarkette
  key_cache
  hex
  sponge
  snarky.intf))
