diff options
Diffstat (limited to 'debian/patches/ada-mips.diff')
| -rw-r--r-- | debian/patches/ada-mips.diff | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/debian/patches/ada-mips.diff b/debian/patches/ada-mips.diff deleted file mode 100644 index 0c398dd..0000000 --- a/debian/patches/ada-mips.diff +++ /dev/null @@ -1,23 +0,0 @@ -# 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 |