From 813eba6b3aba41928bdd82b83137d76b66ba8a22 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 8 May 2014 18:53:36 -0700
Subject: [PATCH] chore(build): add Lua thread tests to test suite

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/shell/CMakeLists.txt | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 371fc23bb..3c53b01c1 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -94,18 +94,18 @@ ENDFOREACH(T)
 #            COMMAND "./test_single.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean -t" ${T})
 # ENDFOREACH(T)
 
-# # LEAN LUA THREAD TESTS
-# if((${CYGWIN} EQUAL "1") OR (${CMAKE_SYSTEM_NAME} MATCHES "Linux"))
-#   if ((NOT (${CMAKE_CXX_COMPILER} MATCHES "clang")) AND (${MULTI_THREAD} MATCHES "ON"))
-#     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" ${T})
-#     ENDFOREACH(T)
-#   endif()
-# endif()
+# LEAN LUA THREAD TESTS
+if((${CYGWIN} EQUAL "1") OR (${CMAKE_SYSTEM_NAME} MATCHES "Linux"))
+  if ((NOT (${CMAKE_CXX_COMPILER} MATCHES "clang")) AND (${MULTI_THREAD} MATCHES "ON"))
+    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" ${T})
+    ENDFOREACH(T)
+  endif()
+endif()
 
 # # Create the script lean.sh
 # # This is used to create a soft dependency on the Lean executable