From 26155442f17cc8a986e45f3a983f6a03be5d2b07 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 27 Jun 2019 16:55:16 +0200
Subject: [PATCH] fix(CMakeLists): `cmake -E copy` doesn't support wildcards on
 Windows

I don't think we'll need archives other than .a if we don't support MSVC
---
 src/CMakeLists.txt         | 2 +-
 src/runtime/CMakeLists.txt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 74319536ae..4c5b913a28 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -461,7 +461,7 @@ add_dependencies(leanstatic stdlib)
 
 ADD_CUSTOM_TARGET(bin_lib ALL
    COMMAND "${CMAKE_COMMAND}" -E make_directory "${LEAN_SOURCE_DIR}/../bin"
-   COMMAND "${CMAKE_COMMAND}" -E copy ${COPY_LIBS} "${CMAKE_BINARY_DIR}/stage1/libleanstdlib*" "${CMAKE_CURRENT_BINARY_DIR}/libleanstatic*" "${LEAN_SOURCE_DIR}/../bin"
+   COMMAND "${CMAKE_COMMAND}" -E copy ${COPY_LIBS} "${CMAKE_BINARY_DIR}/stage1/libleanstdlib.a" "${CMAKE_CURRENT_BINARY_DIR}/libleanstatic.a" "${LEAN_SOURCE_DIR}/../bin"
    DEPENDS leanstatic
 )
 # Configure leanc
diff --git a/src/runtime/CMakeLists.txt b/src/runtime/CMakeLists.txt
index 7a53e84e49..d4d7155142 100644
--- a/src/runtime/CMakeLists.txt
+++ b/src/runtime/CMakeLists.txt
@@ -7,6 +7,6 @@ add_library(leanruntime ${RUNTIME_OBJS})
 
 ADD_CUSTOM_TARGET(bin_runtime ALL
   COMMAND "${CMAKE_COMMAND}" -E make_directory "${LEAN_SOURCE_DIR}/../bin"
-  COMMAND "${CMAKE_COMMAND}" -E copy "${CMAKE_CURRENT_BINARY_DIR}/libleanruntime*" "${LEAN_SOURCE_DIR}/../bin"
+  COMMAND "${CMAKE_COMMAND}" -E copy "${CMAKE_CURRENT_BINARY_DIR}/libleanruntime.a" "${LEAN_SOURCE_DIR}/../bin"
   DEPENDS leanruntime
 )