(executable
 (name discover)
 (libraries dune-configurator))