From 40fde1a69c6b18eb06c1ebaa690c95f420d42cb1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 5 Nov 2013 13:17:10 -0800 Subject: [PATCH] test(lua): invoke Lua binding tests from ctest Signed-off-by: Leonardo de Moura --- src/shell/lua/CMakeLists.txt | 3 +++ 1 file changed, 3 insertions(+) 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")