win64 packaging: distribute libstdc++-6.dll and libgcc_s_sjlj-1.dll

Makefile.am

@@ -749,6 +749,16 @@ if !HAVE_WINCE
 endif
 endif
 
+# Compiler shared DLLs
+# For win64 only, Debian mingw32 compilers are built with --disable-shared
+if HAVE_WIN64
+#   if gcc_s_sjlj/stdc++ DLLs exist, we very likely linked our C++ modules to them
+#   FIXME : tell libtool to not use -nostdlib
+#   and add -static-libgcc and -static-libstdc++ to LDFLAGS
+	gcc_lib_dir=`x86_64-w64-mingw32-gcc -v /dev/null 2>&1 | grep ^LIBRARY_PATH|cut -d= -f2|cut -d: -f1` ; \
+	cp "$${gcc_lib_dir}/libstdc++-6.dll" "$${gcc_lib_dir}/libgcc_s_sjlj-1.dll" "$(win32_destdir)/" ; true
+endif
+
 # SDK
 	mkdir -p "$(win32_destdir)/sdk/lib"
 	cp -r $(destdir)/include "$(win32_destdir)/sdk"