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})