(executable
 (name benchmarks)
 (public_name mina-benchmarks)
 (libraries
  core_bench.inline_benchmarks
  vrf_lib_tests
  mina_base
  core_kernel
  core
  base
  mina_stdlib
  data_hash_lib)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version))
 (link_flags -linkall)
 (modes native))
