From 4e5ab2e5158662813ab3dfed096edfbed3716a62 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 24 May 2020 07:41:50 +0200 Subject: Makefile.in: use gnatlink -g for libghdl. --- Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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). -- cgit v1.2.3