(executable
 (name tool_cmdline)
 (public_name belenios-tool)
 (package belenios-tool)
 (libraries cmdliner belenios-platform-native belenios belenios_tool_common))
