diff options
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) |