michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add "style_check" test

Browse source
This commit is contained in:
Soonho Kong 2013-09-13 20:00:55 -07:00
parent 0c450b5c23
commit 0905529720
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -113,7 +113,9 @@ add_subdirectory(tests/frontends/lean)
# Include style check
include(StyleCheck)
file(GLOB_RECURSE LEAN_SOURCES
RELATIVE ${LEAN_SOURCE_DIR}
${LEAN_SOURCE_DIR}
${LEAN_SOURCE_DIR}/*.cpp
${LEAN_SOURCE_DIR}/*.h)
add_style_check_target(style "${LEAN_SOURCES}")
add_test(NAME style_check
COMMAND ${LEAN_SOURCE_DIR}/cmake/Modules/cpplint.py ${LEAN_SOURCES})