(executables
 (modes byte exe)
 (names discover)
 (libraries base dune-configurator)
 (preprocess
  (pps ppx_assert)))
