--- rpl/src/Makefile.am	2016/10/11 12:40:10	1.107
+++ rpl/src/Makefile.am	2016/10/11 14:01:40	1.108
@@ -522,6 +522,9 @@ install-exec-local: librpl s-rpl
 s-rpl: install-binPROGRAMS
 	@if [ @OS@ != OS2 -a @OS@ != Darwin ]; then \
 		echo "  STRIP  rpl" && strip -d $(DESTDIR)$(bindir)/rpl; \
+		@if [ @OS@ == Cygwin ]; then \
+			cp $(top_builddir)/src/rpl.exe.a $(DESTDIR)$(libdir)/rpl.exe.a; \
+		fi; \
 	fi
 
 librpl: install-libLIBRARIES