diff options
Diffstat (limited to 'debian/patches/ada-mips.diff')
| -rw-r--r-- | debian/patches/ada-mips.diff | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/patches/ada-mips.diff b/debian/patches/ada-mips.diff new file mode 100644 index 0000000..0c398dd --- /dev/null +++ b/debian/patches/ada-mips.diff @@ -0,0 +1,23 @@ +# DP: Improve support for mips. + +Index: b/src/gcc/ada/gcc-interface/Makefile.in +=================================================================== +--- a/src/gcc/ada/gcc-interface/Makefile.in ++++ b/src/gcc/ada/gcc-interface/Makefile.in +@@ -1878,10 +1878,15 @@ ifeq ($(strip $(filter-out mips linux%,$ + s-taprop.adb<s-taprop-linux.adb \ + s-tasinf.ads<s-tasinf-linux.ads \ + s-tasinf.adb<s-tasinf-linux.adb \ +- s-taspri.ads<s-taspri-posix.ads \ ++ s-taspri.ads<s-taspri-posix-noaltstack.ads \ + s-tpopsp.adb<s-tpopsp-posix-foreign.adb \ + system.ads<system-linux-mips.ads + ++ TOOLS_TARGET_PAIRS = \ ++ mlib-tgt-specific.adb<mlib-tgt-specific-linux.adb \ ++ indepsw.adb<indepsw-gnu.adb ++ ++ EXTRA_GNATRTL_TASKING_OBJS=s-linux.o + EH_MECHANISM=-gcc + THREADSLIB = -lpthread + GNATLIB_SHARED = gnatlib-shared-dual |