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

fix(CMakeLists): remove executable before overwriting on windows, second try

Browse source 
@digama0 Does this fix the problem for you?
This commit is contained in:
Gabriel Ebner 2017-07-21 10:03:32 +01:00
parent 3943ffccfb
commit 17a501f024
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/shell/CMakeLists.txt
View file

@ -51,7 +51,7 @@ else()
if (${CMAKE_SYSTEM_NAME} MATCHES "Windows")
ADD_CUSTOM_COMMAND(TARGET lean
POST_BUILD
COMMAND "${CMAKE_COMMAND}" -E remove "${LEAN_SOURCE_DIR}/../bin/lean${CMAKE_EXECUTABLE_SUFFIX}"
COMMAND "${CMAKE_COMMAND}" -E remove -f "${LEAN_SOURCE_DIR}/../bin/lean${CMAKE_EXECUTABLE_SUFFIX}"
COMMAND "${CMAKE_COMMAND}" -E copy "${CMAKE_CURRENT_BINARY_DIR}/lean${CMAKE_EXECUTABLE_SUFFIX}" "${LEAN_SOURCE_DIR}/../bin/"
)
else()