add_custom_target(check ALL COMMAND check $> VERBATIM)