lean2/src/bindings/lua/CMakeLists.txt

add_library(lua util.cpp lua_exception.cpp name.cpp numerics.cpp options.cpp sexpr.cpp
format.cpp expr.cpp leanlua_state.cpp)

target_link_libraries(lua ${LEAN_LIBS})
refactor(lua): remove duplicate code, separate lua_exception, add missing #pragma once Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-11-08 19:59:47 +00:00			`add_library(lua util.cpp lua_exception.cpp name.cpp numerics.cpp options.cpp sexpr.cpp`
feat(lua): expose basic API for Lean expressions in the Lua bindings Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-11-08 05:53:57 +00:00			`format.cpp expr.cpp leanlua_state.cpp)`
feat(frontends/lean): add support for embedded Lua scripts in Lean files Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-11-07 21:56:04 +00:00
feat(lua): expose basic API for Lean expressions in the Lua bindings Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-11-08 05:53:57 +00:00			`target_link_libraries(lua ${LEAN_LIBS})`