/build/splint.cmake

http://bdremote-ng.googlecode.com/ · CMake · 16 lines · 10 code · 5 blank · 1 comment · 1 complexity · 1314f3c842c4aed5ce8dac7bd851f710 MD5 · raw file 

    

  1. function(add_splint NAME FILE)
    2. 

  2. 

  3.   get_directory_property(DIRPROP INCLUDE_DIRECTORIES)
    4. 

  4. 

  5.   message(STATUS "Adding split for ${NAME}, ${FILE}.")
    6. 

  6. 

  7.   add_custom_command(TARGET ${NAME}
    8. 

  8.                      POST_BUILD
    9. 

  9. 		     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
    10. 

  10.                      COMMAND splint +posixlib -D__builtin_va_list=va_list -D__gnuc_va_list=va_list +ignorequals -nullpass -nullstate -unreachable -I${DIRPROP} ${FILE}
    11. 

  11. 		     VERBATIM
    12. 

  12.   		     )
    13. 

  13. 

  14. endfunction(add_splint)
    15. 

  15. 

  16. #__builtin_va_list=va_list
    17.