add_custom_target(check ALL COMMAND check [[ $ $ $ ]] VERBATIM)