michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs): include lean-mode Emacs files in the distribution

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-09 11:50:07 -08:00
parent 7a1ee92507
commit 6fe362ef07
4 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/CMakeLists.txt
View file

@ -236,6 +236,7 @@ set(CMAKE_EXE_LINKER_FLAGS_TESTCOV "${CMAKE_EXE_LINKER_FLAGS} -fprofile-arcs -ft
set(EXTRA_LIBS ${LEAN_LIBS} ${EXTRA_LIBS}) set(EXTRA_LIBS ${LEAN_LIBS} ${EXTRA_LIBS})
add_subdirectory(shell) add_subdirectory(shell)
add_subdirectory(builtin) add_subdirectory(builtin)
add_subdirectory(emacs)
add_subdirectory(tests/util) add_subdirectory(tests/util)
add_subdirectory(tests/util/numerics) add_subdirectory(tests/util/numerics)

2
src/emacs/CMakeLists.txt Normal file
View file

@ -0,0 +1,2 @@
install(FILES "lean-mode.el" DESTINATION emacs)
install(FILES "lean-input.el" DESTINATION emacs)

0
emacs/lean-input.el → src/emacs/lean-input.el
View file

0
emacs/lean-mode.el → src/emacs/lean-mode.el
View file