2013-07-18 16:12:07 +00:00
|
|
|
configure_file("${LEAN_SOURCE_DIR}/shell/version.h.in" "${LEAN_BINARY_DIR}/version.h")
|
2013-07-17 05:10:18 +00:00
|
|
|
include_directories("${LEAN_BINARY_DIR}")
|
|
|
|
|
add_executable(lean lean.cpp)
|
2013-07-18 16:12:07 +00:00
|
|
|
target_link_libraries(lean ${EXTRA_LIBS})
|
2013-09-04 03:42:20 +00:00
|
|
|
add_test(example1 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/lean/ex1.lean")
|
|
|
|
|
add_test(example2 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/lean/ex2.lean")
|
2013-09-04 12:39:35 +00:00
|
|
|
add_test(example3 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/lean/ex3.lean")
|
2013-11-18 17:13:34 +00:00
|
|
|
add_test(example1_stdin ${CMAKE_CURRENT_BINARY_DIR}/lean < "${LEAN_SOURCE_DIR}/../examples/lean/ex1.lean")
|
2013-11-18 23:02:12 +00:00
|
|
|
|
|
|
|
|
# LEANTESTS
|
|
|
|
|
file(GLOB LEANTESTS "${LEAN_SOURCE_DIR}/../tests/lean/*.lean")
|
|
|
|
|
FOREACH(T ${LEANTESTS})
|
|
|
|
|
GET_FILENAME_COMPONENT(T_NAME ${T} NAME)
|
|
|
|
|
add_test(NAME "leantest_${T_NAME}"
|
|
|
|
|
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lean"
|
|
|
|
|
COMMAND "./test_single.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean" ${T})
|
|
|
|
|
ENDFOREACH(T)
|
|
|
|
|
|
|
|
|
|
# LEANSLOWTESTS
|
|
|
|
|
file(GLOB LEANSLOWTESTS "${LEAN_SOURCE_DIR}/../tests/lean/slow/*.lean")
|
|
|
|
|
FOREACH(T ${LEANSLOWTESTS})
|
|
|
|
|
GET_FILENAME_COMPONENT(T_NAME ${T} NAME)
|
|
|
|
|
add_test(NAME "leanslowtest_${T_NAME}"
|
|
|
|
|
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lean/slow"
|
|
|
|
|
COMMAND "../test_single.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean" ${T})
|
|
|
|
|
ENDFOREACH(T)
|
