From 75b4a96d0eaa08e915e1de8f408fe8c4cb7111be Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 27 Nov 2013 15:06:07 -0800 Subject: [PATCH] chore(tests/lua/threads): break lua thread tests into individual tests Signed-off-by: Leonardo de Moura --- src/shell/CMakeLists.txt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 976ade427..14aa28833 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -45,8 +45,12 @@ ENDFOREACH(T) if((${CYGWIN} EQUAL "1") OR (${CMAKE_SYSTEM_NAME} MATCHES "Linux")) if (NOT (${CMAKE_CXX_COMPILER} MATCHES "clang")) - add_test(NAME leanluathreadtests - WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lua/threads" - COMMAND "../test.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean") + file(GLOB LEANLUATHREADTESTS "${LEAN_SOURCE_DIR}/../tests/lua/threads/*.lua") + FOREACH(T ${LEANLUATHREADTESTS}) + GET_FILENAME_COMPONENT(T_NAME ${T} NAME) + add_test(NAME "leanluathreadtest_${T_NAME}" + WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lua/threads" + COMMAND "../test_single.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean" ${T}) + ENDFOREACH(T) endif() endif()