diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-24 07:41:50 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-24 07:42:40 +0200 |
| commit | 4e5ab2e5158662813ab3dfed096edfbed3716a62 (patch) | |
| tree | 4e8dc9581122d2b050010d68d8eff01a6c3a1bb2 /Makefile.in | |
| parent | ebdba3ee834f23ed59812146b50492709d6fa936 (diff) | |
| download | ghdl-4e5ab2e5158662813ab3dfed096edfbed3716a62.tar.gz ghdl-4e5ab2e5158662813ab3dfed096edfbed3716a62.tar.bz2 ghdl-4e5ab2e5158662813ab3dfed096edfbed3716a62.zip | |
Makefile.in: use gnatlink -g for libghdl.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 886b69021..aa7f5edb3 100644 --- a/Makefile.in +++ b/Makefile.in @@ -405,7 +405,9 @@ libghdl_name=libghdl-$(libghdl_version)$(SOEXT) LIBGHDL_GRT_OBJS= pic/grt-cstdio.o $(libghdl_name): $(GRT_SRC_DEPS) $(LIBGHDL_GRT_OBJS) version.ads force - $(GNATMAKE) -I- -aI. -D pic -z libghdl -o $@ -gnat12 $(GNATFLAGS) $(PIC_FLAGS) $(LIBGHDL_INCFLAGS) -bargs -shared -Llibghdl_ -largs -shared $(SHLIB_FLAGS) $(LIBGHDL_GRT_OBJS) +# Use -g for gnatlink so that the binder file is not removed. We need +# it for libghdl.a + $(GNATMAKE) -I- -aI. -D pic -z libghdl -o $@ -gnat12 $(GNATFLAGS) $(PIC_FLAGS) $(LIBGHDL_INCFLAGS) -bargs -shared -Llibghdl_ -largs -g -shared $(SHLIB_FLAGS) $(LIBGHDL_GRT_OBJS) # 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). |