From 286aae933ca5b6e8c8d3f7d954b744a8bedc83de Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 6 Oct 2014 11:19:23 -0700 Subject: [PATCH] chore(CMakeLists.txt): add EMACS_LIB option to specify installation path for emacs stuff --- src/CMakeLists.txt | 3 ++- src/emacs/CMakeLists.txt | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0f86d55b4..2efcdfa3d 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -30,6 +30,8 @@ option(CROSS_COMPILE "CROSS_COMPILE" OFF) # When ON we try to minimize the amount of memory needed to compile Lean using gcc. # We use this flag when compiling at Travis. option(CONSERVE_MEMORY "CONSERVE_MEMORY" OFF) +# Place to install emacs related files +option(EMACS_LIB "EMACS_LIB" "emacs") # Added for CTest include(CTest) @@ -293,7 +295,6 @@ set(CMAKE_EXE_LINKER_FLAGS_TESTCOV "${CMAKE_EXE_LINKER_FLAGS} -fprofile-arcs -ft set(ALL_LIBS ${LEAN_LIBS} ${EXTRA_LIBS}) add_subdirectory(shell) add_subdirectory(emacs) - add_subdirectory(tests/util) add_subdirectory(tests/util/numerics) add_subdirectory(tests/util/interval) diff --git a/src/emacs/CMakeLists.txt b/src/emacs/CMakeLists.txt index cb42fe8c7..0dadc97f2 100644 --- a/src/emacs/CMakeLists.txt +++ b/src/emacs/CMakeLists.txt @@ -1,2 +1,2 @@ FILE(GLOB LEAN_MODE_FILES *.el) -install(FILES ${LEAN_MODE_FILES} DESTINATION ./emacs) +install(FILES ${LEAN_MODE_FILES} DESTINATION ${EMACS_LIB})