From 7dc4d4e5faf306bc74fb46fc33478ec642954218 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 1 Feb 2019 16:12:18 +0100
Subject: [PATCH] chore(shell/CMakeLists): reactivate Lean tests

---
 src/shell/CMakeLists.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 4f7563af6e..299ccd8031 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -98,6 +98,8 @@ if (NOT(${CMAKE_SYSTEM_NAME} MATCHES "Windows"))
   #          COMMAND bash "./timeout.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean" "1" "slow1.lean")
 endif()
 
+# LEAN TESTS
+file(GLOB LEANTESTS "${LEAN_SOURCE_DIR}/../tests/lean/*.lean")
 FOREACH(T ${LEANTESTS})
   if(NOT T MATCHES "\\.#")
     GET_FILENAME_COMPONENT(T_NAME ${T} NAME)
@@ -107,6 +109,8 @@ FOREACH(T ${LEANTESTS})
   endif()
 ENDFOREACH(T)
 
+# LEAN RUN TESTS
+file(GLOB LEANRUNTESTS "${LEAN_SOURCE_DIR}/../tests/lean/run/*.lean")
 FOREACH(T ${LEANRUNTESTS})
   if(NOT T MATCHES "\\.#")
     GET_FILENAME_COMPONENT(T_NAME ${T} NAME)
@@ -116,6 +120,8 @@ FOREACH(T ${LEANRUNTESTS})
   endif()
 ENDFOREACH(T)
 
+# LEAN FAIL TESTS
+file(GLOB LEANFAILTESTS "${LEAN_SOURCE_DIR}/../tests/lean/fail/*.lean")
 FOREACH(T ${LEANFAILTESTS})
     if(NOT T MATCHES "\\.#")
         GET_FILENAME_COMPONENT(T_NAME ${T} NAME)