(library
 (name plonkish_prelude)
 (public_name plonkish_prelude)
 ; Deactivated warnings
 ;
 ; 40: name-out-scope (activate later)
 ;
 ; 41: ambiguous name (too many of them for now, activate later)
 ;
 ; 42: disambiguated-name (rely on type disambiguation ,not too bad but closer
 ; module openings may both solve the warning *and* help the reader)
 ;
 ; 44: open-shadow-identifier (the use of Core_kernel use makes it ubiquitous)
 (flags
  (:standard -w +a-40..42-44 -warn-error +a))
 (preprocess
  (pps
   h_list.ppx
   ppx_deriving.std
   ppx_deriving_yojson
   ppx_jane
   ppx_mina
   ppx_version))
 (modules_without_implementation sigs poly_types)
 (instrumentation
  (backend bisect_ppx))
 (libraries
  ;; opam libraries
  base.caml
  bin_prot.shape
  core_kernel
  result
  sexplib0
  ;; local libraries
  mina_stdlib
  kimchi_pasta_snarky_backend
  mina_wire_types
  ppx_version.runtime
  snarky.backendless
  tuple_lib))
