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

feat(build): copy lean executable to bin directory

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-07-29 10:25:55 -07:00
parent f8eba36b0a
commit 8278700b47
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/shell/CMakeLists.txt
View file

@ -1,6 +1,12 @@
add_executable(lean lean.cpp)
target_link_libraries(lean ${EXTRA_LIBS})
ADD_CUSTOM_COMMAND(TARGET lean
POST_BUILD
COMMAND ${CMAKE_COMMAND} -E make_directory ${LEAN_SOURCE_DIR}/../bin
COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_BINARY_DIR}/lean ${LEAN_SOURCE_DIR}/../bin/
)
install(TARGETS lean DESTINATION bin)
# add_test(example1_stdin1 ${LEAN_SOURCE_DIR}/cmake/redirect.sh ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../tests/lean/single.lean")

2
src/util/lean_path.cpp
View file

@ -164,8 +164,6 @@ void init_lean_path(char const * kernel_instance_name) {
std::string exe_path = get_path(get_exe_location());
g_lean_path += g_path_sep;
g_lean_path += exe_path + g_sep + ".." + g_sep + "library" + g_sep + kernel_instance_name;
g_lean_path += g_path_sep;
g_lean_path += exe_path;
} else {
g_lean_path = r;
}