(executable
 (name main)
 (public_name belenios-tool)
 (package belenios-tool)
 (preprocess
  (pps ppx_yojson_conv ppx_yojson_group))
 (libraries
  re
  cmdliner
  belenios_cohttp
  belenios-platform-native
  belenios-lib.api))
