From 92dd4d827837096a0f47622761084e091c5a57a4 Mon Sep 17 00:00:00 2001
From: marius david <mariusdavid@laposte.net>
Date: Thu, 9 Apr 2020 15:41:03 +0200
Subject: [PATCH] gcc: copy windows library file to the lib output

---
 pkgs/development/compilers/gcc/builder.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/compilers/gcc/builder.sh b/pkgs/development/compilers/gcc/builder.sh
index b153687980a04..3de09882b08db 100644
--- a/pkgs/development/compilers/gcc/builder.sh
+++ b/pkgs/development/compilers/gcc/builder.sh
@@ -214,6 +214,8 @@ preInstall() {
 postInstall() {
     # Move runtime libraries to $lib.
     moveToOutput "${targetConfig+$targetConfig/}lib/lib*.so*" "$lib"
+    moveToOutput "${targetConfig+$targetConfig/}lib/lib*.dll" "$lib"
+    moveToOutput "${targetConfig+$targetConfig/}lib/lib*.a" "$lib"
     moveToOutput "${targetConfig+$targetConfig/}lib/lib*.la"  "$lib"
     moveToOutput "${targetConfig+$targetConfig/}lib/lib*.dylib" "$lib"
     moveToOutput "share/gcc-*/python" "$lib"