add_custom_target(check ALL COMMAND check $ VERBATIM)