(executables
 (names discover)
 (libraries dune.configurator)
 (modes byte exe))
