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