diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:22:56 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:22:56 +0000 |
| commit | 3f472a4e5ca21e3ddb13737473e636b2b11a408a (patch) | |
| tree | 7db1ab317884b9f6e04b6e13737c1679879cb97a /debian/patches/pr107475.diff | |
| parent | Adding upstream version 13.2.0. (diff) | |
| download | gcc-13-3f472a4e5ca21e3ddb13737473e636b2b11a408a.tar.xz gcc-13-3f472a4e5ca21e3ddb13737473e636b2b11a408a.zip | |
Adding debian version 13.2.0-10.debian/13.2.0-10debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/patches/pr107475.diff')
| -rw-r--r-- | debian/patches/pr107475.diff | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/patches/pr107475.diff b/debian/patches/pr107475.diff new file mode 100644 index 0000000..8fbce84 --- /dev/null +++ b/debian/patches/pr107475.diff @@ -0,0 +1,10 @@ +--- a/src/gcc/ada/Makefile.rtl ++++ b/src/gcc/ada/Makefile.rtl +@@ -2584,6 +2584,7 @@ ifeq ($(strip $(filter-out %x32 linux%,$(target_cpu) $(target_os))),) + EXTRA_GNATRTL_TASKING_OBJS=s-linux.o a-exetim.o + EH_MECHANISM=-gcc + THREADSLIB=-lpthread -lrt ++ MISCLIB = -ldl + GNATLIB_SHARED=gnatlib-shared-dual + GMEM_LIB = gmemlib + LIBRARY_VERSION := $(LIB_VERSION) |