fix(CMakeLists.txt): rename EMACS_LIB to EMACS_LISP_DIR (default: share/eamcs/site-lisp/lean)
This commit is contained in:
parent
103cf57a46
commit
013cd5640e
2 changed files with 7 additions and 3 deletions
|
@ -31,8 +31,12 @@ option(CROSS_COMPILE "CROSS_COMPILE" OFF)
|
||||||
# When ON we try to minimize the amount of memory needed to compile Lean using gcc.
|
# When ON we try to minimize the amount of memory needed to compile Lean using gcc.
|
||||||
# We use this flag when compiling at Travis.
|
# We use this flag when compiling at Travis.
|
||||||
option(CONSERVE_MEMORY "CONSERVE_MEMORY" OFF)
|
option(CONSERVE_MEMORY "CONSERVE_MEMORY" OFF)
|
||||||
# Place to install emacs related files
|
|
||||||
option(EMACS_LIB "EMACS_LIB" "emacs")
|
# emacs site-lisp dir
|
||||||
|
set(EMACS_LISP_DIR "share/emacs/site-lisp/lean" CACHE STRING "emacs site-lisp dir")
|
||||||
|
|
||||||
|
message(STATUS "Lean emacs-mode will be installed at "
|
||||||
|
${CMAKE_INSTALL_PREFIX}/${EMACS_LISP_DIR})
|
||||||
|
|
||||||
# Added for CTest
|
# Added for CTest
|
||||||
include(CTest)
|
include(CTest)
|
||||||
|
|
|
@ -1,2 +1,2 @@
|
||||||
FILE(GLOB LEAN_MODE_FILES *.el)
|
FILE(GLOB LEAN_MODE_FILES *.el)
|
||||||
install(FILES ${LEAN_MODE_FILES} DESTINATION ${EMACS_LIB})
|
install(FILES ${LEAN_MODE_FILES} DESTINATION ${EMACS_LISP_DIR})
|
||||||
|
|
Loading…
Reference in a new issue