(library
 (inline_tests
  (flags -verbose -show-counts))
 (name kimchi_pasta_constraint_system_caml)
 (public_name kimchi_pasta.constraint_system.caml)
 (flags -warn-error -27)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_jane ppx_deriving_yojson ppx_deriving.std))
 (libraries
  ;; opam libraries
  ppx_inline_test.config
  sexplib0
  core_kernel
  bin_prot.shape
  base.caml
  ;; local libraries
  sponge
  kimchi_backend_common
  promise
  kimchi_bindings
  kimchi_pasta_basic
  kimchi_types
  pasta_bindings
  snarkette
  ppx_version.runtime)
 (implements kimchi_pasta.constraint_system))
