From 1ee52a3ddc514b098ef6370ba3fd1da9c4f08bdd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 30 Jan 2015 09:59:55 -0800 Subject: [PATCH] feat(CMakeLists.txt): include ninja in Windows binary distribution package Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index aa020bf266..a18136d763 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -31,7 +31,7 @@ option(CROSS_COMPILE "CROSS_COMPILE" OFF) # When ON we try to minimize the amount of memory needed to compile Lean using gcc. # We use this flag when compiling at Travis. option(CONSERVE_MEMORY "CONSERVE_MEMORY" OFF) -# Include MSYS2 required DLLs in the binary distribution package +# Include MSYS2 required DLLs and binaries in the binary distribution package option(INCLUDE_MSYS2_DLLS "INCLUDE_MSYS2_DLLS" OFF) # emacs site-lisp dir @@ -430,6 +430,7 @@ if("${INCLUDE_MSYS2_DLLS}" MATCHES "ON") ${MINGW_LOCAL_DIR}/libgmp-10.dll ${MINGW_LOCAL_DIR}/libwinpthread-1.dll ${MINGW_LOCAL_DIR}/libgcc_s_seh-1.dll - ${MINGW_LOCAL_DIR}/libstdc++-6.dll) + ${MINGW_LOCAL_DIR}/libstdc++-6.dll + ${CMAKE_SOURCE_DIR}/../bin/ninja.exe) install(PROGRAMS ${RUNTIME_LIBRARIES} DESTINATION bin) endif()