PageRenderTime 16ms CodeModel.GetById 10ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/build/splint.cmake

http://bdremote-ng.googlecode.com/
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