/build/splint.cmake
CMake | 16 lines | 10 code | 5 blank | 1 comment | 1 complexity | 1314f3c842c4aed5ce8dac7bd851f710 MD5 | raw file
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