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

chore(CMakeLists.txt): standard_lib target generates TAGS for library

Browse source
This commit is contained in:
Soonho Kong 2014-10-07 12:02:27 -07:00
parent 2cf6cf19c0
commit 103cf57a46
1 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

@ -343,7 +343,7 @@ if("${CROSS_COMPILE}" MATCHES "ON")
else() else()
add_custom_target( add_custom_target(
standard_lib ALL standard_lib ALL
COMMAND ${PYTHON_EXECUTABLE} ${LEAN_SOURCE_DIR}/../bin/linja COMMAND ${PYTHON_EXECUTABLE} ${LEAN_SOURCE_DIR}/../bin/linja all tags
DEPENDS ${CMAKE_BINARY_DIR}/shell/lean DEPENDS ${CMAKE_BINARY_DIR}/shell/lean
WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library
) )