From 9884c056ceb0c548fd5b307b2d9a71a275166e67 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 3 Nov 2013 12:40:44 -0800
Subject: [PATCH] feat(lua): allow Lean to be compiled with Lua 5.1 and LuaJit

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/CMakeLists.txt | 6 +++---
 tests/lua/mpz1.lua | 5 +++--
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2c3af6048c..f513c7ae83 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -121,13 +121,13 @@ if(NOT "${TCMALLOC_FOUND}" AND "${TRACK_MEMORY_USAGE}" MATCHES "ON")
   endif()
 endif()
 
-find_package(Lua 5.2)
+find_package(Lua)
 if ("${LUA_FOUND}" MATCHES "TRUE")
-  message(STATUS "Using Lua 5.2 script language")
+  message(STATUS "Using Lua script language")
   set(EXTRA_LIBS ${EXTRA_LIBS} ${LUA_LIBRARIES})
   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -I ${LUA_INCLUDE_DIR} -D LEAN_USE_LUA")
 else()
-    message(WARNING "FAILED to find Lua 5.2 script language, it will not be available")
+    message(WARNING "FAILED to find Lua script language, it will not be available")
 endif()
 
 include_directories(${LEAN_SOURCE_DIR})
diff --git a/tests/lua/mpz1.lua b/tests/lua/mpz1.lua
index 8eefbd87f9..d9ae1cfa8b 100644
--- a/tests/lua/mpz1.lua
+++ b/tests/lua/mpz1.lua
@@ -5,7 +5,8 @@ print(a/3)
 print(b == c)
 print(a < b)
 print(b < a)
-print(10 < b)
-print(10 <= b)
+print(b == mpz(10))
+print(mpz(10) < b)
+print(mpz(10) <= b)
 print(a)
 print(b)