/build/splint.cmake

 1function(add_splint NAME FILE)
 2
 3  get_directory_property(DIRPROP INCLUDE_DIRECTORIES)
 4
 5  message(STATUS "Adding split for ${NAME}, ${FILE}.")
 6
 7  add_custom_command(TARGET ${NAME}
 8                     POST_BUILD
 9		     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
10                     COMMAND splint +posixlib -D__builtin_va_list=va_list -D__gnuc_va_list=va_list +ignorequals -nullpass -nullstate -unreachable -I${DIRPROP} ${FILE}
11		     VERBATIM
12  		     )
13
14endfunction(add_splint)
15
16#__builtin_va_list=va_list