From 6fc177056eff2dd479e06949fc8eec9cd2b3d51f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 27 Sep 2013 08:25:12 -0700 Subject: [PATCH] refactor(tests/frontends/lean): use consistent name convention for file names Signed-off-by: Leonardo de Moura --- src/tests/frontends/lean/CMakeLists.txt | 8 ++++---- .../frontends/lean/{lean_frontend.cpp => frontend.cpp} | 0 src/tests/frontends/lean/{lean_parser.cpp => parser.cpp} | 0 src/tests/frontends/lean/{lean_pp.cpp => pp.cpp} | 0 .../frontends/lean/{lean_scanner.cpp => scanner.cpp} | 0 5 files changed, 4 insertions(+), 4 deletions(-) rename src/tests/frontends/lean/{lean_frontend.cpp => frontend.cpp} (100%) rename src/tests/frontends/lean/{lean_parser.cpp => parser.cpp} (100%) rename src/tests/frontends/lean/{lean_pp.cpp => pp.cpp} (100%) rename src/tests/frontends/lean/{lean_scanner.cpp => scanner.cpp} (100%) diff --git a/src/tests/frontends/lean/CMakeLists.txt b/src/tests/frontends/lean/CMakeLists.txt index c398e5762..ef8d0fe5a 100644 --- a/src/tests/frontends/lean/CMakeLists.txt +++ b/src/tests/frontends/lean/CMakeLists.txt @@ -1,13 +1,13 @@ -add_executable(lean_frontend_tst lean_frontend.cpp) +add_executable(lean_frontend_tst frontend.cpp) target_link_libraries(lean_frontend_tst ${EXTRA_LIBS}) add_test(lean_frontend ${CMAKE_CURRENT_BINARY_DIR}/lean_frontend_tst) -add_executable(lean_scanner lean_scanner.cpp) +add_executable(lean_scanner scanner.cpp) target_link_libraries(lean_scanner ${EXTRA_LIBS}) add_test(lean_scanner ${CMAKE_CURRENT_BINARY_DIR}/lean_scanner) -add_executable(lean_parser lean_parser.cpp) +add_executable(lean_parser parser.cpp) target_link_libraries(lean_parser ${EXTRA_LIBS}) add_test(lean_parser ${CMAKE_CURRENT_BINARY_DIR}/lean_parser) -add_executable(lean_pp lean_pp.cpp) +add_executable(lean_pp pp.cpp) target_link_libraries(lean_pp ${EXTRA_LIBS}) add_test(lean_pp ${CMAKE_CURRENT_BINARY_DIR}/lean_pp) add_executable(implicit_args implicit_args.cpp) diff --git a/src/tests/frontends/lean/lean_frontend.cpp b/src/tests/frontends/lean/frontend.cpp similarity index 100% rename from src/tests/frontends/lean/lean_frontend.cpp rename to src/tests/frontends/lean/frontend.cpp diff --git a/src/tests/frontends/lean/lean_parser.cpp b/src/tests/frontends/lean/parser.cpp similarity index 100% rename from src/tests/frontends/lean/lean_parser.cpp rename to src/tests/frontends/lean/parser.cpp diff --git a/src/tests/frontends/lean/lean_pp.cpp b/src/tests/frontends/lean/pp.cpp similarity index 100% rename from src/tests/frontends/lean/lean_pp.cpp rename to src/tests/frontends/lean/pp.cpp diff --git a/src/tests/frontends/lean/lean_scanner.cpp b/src/tests/frontends/lean/scanner.cpp similarity index 100% rename from src/tests/frontends/lean/lean_scanner.cpp rename to src/tests/frontends/lean/scanner.cpp