(executable
 (name gen_scalars)
 (modes native)
 (flags
  (:standard -w +a-40..42-44 -warn-error +a)
  -open
  Core_kernel)
 (link_flags (-linkall))
 (libraries
  ;; opam libraries
  core_kernel
  stdio
  base
  ;; local libraries
  kimchi_bindings
  kimchi_types
  pasta_bindings)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version)))
