max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(CMakeLists.txt): move Lean logo to make sure we can test leanemacs without installing Lean

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-31 17:38:49 -08:00
parent 70d62245a6
commit 27741e4fd7
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/CMakeLists.txt
View file

@ -436,7 +436,7 @@ install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
PATTERN ".project" PATTERN ".project"
PATTERN "TAGS") PATTERN "TAGS")
install(FILES ${CMAKE_SOURCE_DIR}/../images/lean.pgm install(FILES ${CMAKE_SOURCE_DIR}/../src/emacs/lean.pgm
DESTINATION ${EMACS_LISP_DIR}) DESTINATION ${EMACS_LISP_DIR})
if(EXISTS "${EMACS_DEPENDENCIES}") if(EXISTS "${EMACS_DEPENDENCIES}")

0
images/lean.pgm → src/emacs/lean.pgm
View file