diff --git a/src/shell/lua/CMakeLists.txt b/src/shell/lua/CMakeLists.txt
index b27b5f41d..d33613a1b 100644
--- a/src/shell/lua/CMakeLists.txt
+++ b/src/shell/lua/CMakeLists.txt
@@ -1,2 +1,5 @@
 add_executable(leanlua leanlua.cpp)
 target_link_libraries(leanlua ${EXTRA_LIBS})
+add_test(NAME leanluatests
+         WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lua"
+         COMMAND "./test.sh" "${CMAKE_CURRENT_BINARY_DIR}/leanlua")