diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-11-07 06:04:33 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-11-07 06:04:33 +0100 |
| commit | fb38a0ebf811142638ae46e025606973e95af21d (patch) | |
| tree | b51504312c6f86ffe930323fd9e8e588c9aefb4e | |
| parent | 75145fb7f4405448ab2ee31e795d358b9928afaf (diff) | |
| download | ghdl-fb38a0ebf811142638ae46e025606973e95af21d.tar.gz ghdl-fb38a0ebf811142638ae46e025606973e95af21d.tar.bz2 ghdl-fb38a0ebf811142638ae46e025606973e95af21d.zip | |
Makefile.in: adjust libghdl name on windows. For #1010
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
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: |