gcc/gcc-4.7.3-gnueabihf.patch

   1 diff -pruN gcc-4.7.3.orig/gcc/ada/gcc-interface/Makefile.in gcc-4.7.3/gcc/ada/gcc-interface/Makefile.in
   2 --- gcc-4.7.3.orig/gcc/ada/gcc-interface/Makefile.in    2013-08-09 16:53:45.190805185 +0200
   3 +++ gcc-4.7.3/gcc/ada/gcc-interface/Makefile.in 2013-08-09 17:02:38.730865077 +0200
   4 @@ -1866,7 +1866,7 @@ ifeq ($(strip $(filter-out powerpc% linu
   5    LIBRARY_VERSION := $(LIB_VERSION)
   6  endif
   7
   8 -ifeq ($(strip $(filter-out arm%-linux,$(arch)-$(osys)) $(if $(findstring eabi,$(word 4,$(targ))),,$(word 4,$(targ)))),)
   9 +ifeq ($(strip $(filter-out arm%-linux,$(arch)-$(osys)) $(if $(findstring eabi%,$(word 4,$(targ))),,$(word 4,$(targ)))),)
  10    LIBGNAT_TARGET_PAIRS = \
  11    a-intnam.ads<a-intnam-linux.ads \
  12    s-inmaop.adb<s-inmaop-posix.adb \
  13 diff -pruN gcc-4.7.2.orig/gcc/config/arm/linux-eabi.h gcc-4.7.2/gcc/config/arm/linux-eabi.h
  14 --- gcc-4.7.2.orig/gcc/config/arm/linux-eabi.h 2012-11-26 14:44:44.335493878 +0000
  15 +++ gcc-4.7.2/gcc/config/arm/linux-eabi.h      2012-11-26 14:55:06.599515067 +0000
  16 @@ -62,7 +62,11 @@
  17  /* Use ld-linux.so.3 so that it will be possible to run "classic"
  18     GNU/Linux binaries on an EABI system.  */
  19  #undef  GLIBC_DYNAMIC_LINKER
  20 -#define GLIBC_DYNAMIC_LINKER "/lib/ld-linux.so.3"
  21 +#define GLIBC_DYNAMIC_LINKER_SOFT_FLOAT "/lib/ld-linux.so.3"
  22 +#define GLIBC_DYNAMIC_LINKER_HARD_FLOAT "/lib/ld-linux-armhf.so.3"
  23 +#define GLIBC_DYNAMIC_LINKER \
  24 +   "%{mfloat-abi=hard:" GLIBC_DYNAMIC_LINKER_HARD_FLOAT "} \
  25 +    %{!mfloat-abi=hard:" GLIBC_DYNAMIC_LINKER_SOFT_FLOAT "}"
  26
  27  /* At this point, bpabi.h will have clobbered LINK_SPEC.  We want to
  28     use the GNU/Linux version, not the generic BPABI version.  */