From fb38a0ebf811142638ae46e025606973e95af21d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 7 Nov 2019 06:04:33 +0100
Subject: Makefile.in: adjust libghdl name on windows. For #1010

---
 Makefile.in | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index e86cd1eff..abad2decf 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -384,6 +384,12 @@ libghdl_name=libghdl-$(libghdl_version)$(SOEXT)
 
 $(libghdl_name): $(GRT_SRC_DEPS) version.ads force
 	$(GNATMAKE) -I- -aI. -D pic -z libghdl -o $@ -gnat12 $(GNATFLAGS) $(PIC_FLAGS) $(LIBGHDL_INCFLAGS) -bargs -shared -Llibghdl_ -largs -shared $(SHLIB_FLAGS)
+#       On windows, gnatmake (via Osint.Executable_Name) always appends .exe
+#       Adjust.  (Other solution: use gnatmake for compilation and binding,
+#       then use gnatlink directly for linking).
+ifeq ($(SOEXT),.dll)
+	-mv $(libghdl_name).exe $(libghdl_name)
+endif
 
 all.libghdl.true: $(libghdl_name)
 all.libghdl.false:
-- 
cgit v1.2.3