From 0c071d43af038cb984a4e0d4560d84576140b9d1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 3 Sep 2013 20:42:20 -0700 Subject: [PATCH] Move examples to lean examples subdir. We should have an example subdirectory for each frontend Signed-off-by: Leonardo de Moura --- examples/{ => lean}/ex1.lean | 0 examples/{ => lean}/ex2.lean | 0 src/shell/CMakeLists.txt | 4 ++-- 3 files changed, 2 insertions(+), 2 deletions(-) rename examples/{ => lean}/ex1.lean (100%) rename examples/{ => lean}/ex2.lean (100%) diff --git a/examples/ex1.lean b/examples/lean/ex1.lean similarity index 100% rename from examples/ex1.lean rename to examples/lean/ex1.lean diff --git a/examples/ex2.lean b/examples/lean/ex2.lean similarity index 100% rename from examples/ex2.lean rename to examples/lean/ex2.lean diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index f46406546..203d211b3 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -2,8 +2,8 @@ configure_file("${LEAN_SOURCE_DIR}/shell/version.h.in" "${LEAN_BINARY_DIR}/versi include_directories("${LEAN_BINARY_DIR}") add_executable(lean lean.cpp) target_link_libraries(lean ${EXTRA_LIBS}) -add_test(example1 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex1.lean") -add_test(example2 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex2.lean") +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") add_test(NAME leantests WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lean" COMMAND "./test.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean")