diff options
Diffstat (limited to 'cmake/DefCmdTarget.cmake')
| -rw-r--r-- | cmake/DefCmdTarget.cmake | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/cmake/DefCmdTarget.cmake b/cmake/DefCmdTarget.cmake deleted file mode 100644 index 48e90cf5c8..0000000000 --- a/cmake/DefCmdTarget.cmake +++ /dev/null @@ -1,19 +0,0 @@ -# Defines a target named ${target}. If ${prg} is undefined the target prints -# "not found". -# -# - Use add_custom_command(TARGET <target_name> ...) to append a command to the -# target. -function(def_cmd_target target prg prg_name prg_fatal) - add_custom_target(${target}) - - if(NOT prg) - if(prg_fatal) - add_custom_command(TARGET ${target} - COMMAND ${CMAKE_COMMAND} -E echo "${target}: ${prg_name} not found" - COMMAND false) - else() - add_custom_command(TARGET ${target} - COMMAND ${CMAKE_COMMAND} -E echo "${target}: SKIP: ${prg_name} not found") - endif() - endif() -endfunction() |