From 09055297200ed1f68d219222254589c08e5fd700 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 13 Sep 2013 20:00:55 -0700
Subject: [PATCH] Add "style_check" test

---
 src/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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