(executables (names discover) (libraries dune-configurator)
 (preprocess no_preprocessing))