diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7e46a8284..3a4b4294a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -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})
\ No newline at end of file