rego-proofs/compiler-rewrite/bin/dune


1
2
3
4
5
6
7
8
9
10

(executable
 (public_name compiler_rewrite)
 (name main)
 (libraries core compiler_rewrite unix yojson)
 (preprocess
   (pps ppx_deriving.show ppx_fields_conv)))

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