rego-proofs/compiler-rewrite/lib/dune


1
2
3
4
5
6
7
8
9

(library
 (name compiler_rewrite)
 (libraries core unix yojson)
 (preprocess
   (pps ppx_deriving.eq ppx_deriving.show ppx_fields_conv)))

(env
  (dev
    (flags (:standard -w -66 -w -37 -w -30 -w -32))))