(library
 (name mina_stdlib)
 (public_name mina_stdlib)
 (inline_tests
  (flags -verbose -show-counts))
 (modules_without_implementation generic_set sigs)
 (flags
  (:standard -w a -warn-error +a)
  -open
  Core_kernel)
 (libraries
  ; opam libraries
  async_kernel
  base.caml
  bin_prot
  bin_prot.shape
  core_kernel
  ppx_inline_test.config
  result
  sexplib0
  stdlib
  ; local libraries
  ppx_version.runtime)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   ppx_compare
   ppx_deriving.std
   ppx_deriving_yojson
   ppx_inline_test
   ppx_jane
   ppx_mina
   ppx_version))
 (synopsis "Mina standard library"))
