(library
 (name sgn)
 (public_name sgn)
 (library_flags -linkall)
 (libraries
  ;; opam libraries
  ppx_deriving_yojson.runtime
  core_kernel
  yojson
  sexplib0
  base
  bin_prot.shape
  base.caml
  ;; local libraries
  snark_params
  sgn_type
  pickles
  snarky.backendless
  ppx_version.runtime)
 (preprocess
  (pps
   ppx_version
   ppx_bin_prot
   ppx_sexp_conv
   ppx_compare
   ppx_hash
   ppx_compare
   ppx_deriving_yojson))
 (instrumentation
  (backend bisect_ppx))
 (synopsis "sgn library"))
