From 0779dc9c325fcafb7b6ae658da175c53970b7477 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven@cs.kuleuven.be>
Date: Mon, 9 Feb 2009 10:51:43 +0100
Subject: [PATCH] add $(EXEEXT) to executable targets during installation for
 MinGW

---
 Makefile.defs.in | 1 +
 Makefile.std     | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile.defs.in b/Makefile.defs.in
index a43d397..7026f14 100644
--- a/Makefile.defs.in
+++ b/Makefile.defs.in
@@ -5,6 +5,7 @@ COMPILER_NAME = @COMPILER_NAME@
 CC_OVERRIDE = @CC_OVERRIDE@
 CXX_OVERRIDE = @CXX_OVERRIDE@
 LD_LIBRARY_PATH = @LD_LIBRARY_PATH@
+EXEEXT = @EXEEXT@
 
 # GNU make no longer exports variables by default
 export
diff --git a/Makefile.std b/Makefile.std
index f15cc7d..4333545 100644
--- a/Makefile.std
+++ b/Makefile.std
@@ -305,7 +305,11 @@ install-ver:	install-local-ver
 
 install-prog:	$(TARGET_EXECUTABLES) install-bin-base
 		for target in $(TARGET_EXECUTABLES); do \
-			$(BINDIR)/install-sh -C -m 775 $$target $(BINDIR) ; \
+			if test -f $$target$(EXEEXT); then \
+				$(BINDIR)/install-sh -C -m 775 $$target$(EXEEXT) $(BINDIR) ; \
+			else \
+				$(BINDIR)/install-sh -C -m 775 $$target $(BINDIR) ; \
+			fi; \
 		done
 
 install-scripts:	$(SCRIPTS) install-bin-base
-- 
2.11.4.GIT