/usr/src/gcc-5/debian/patches/libgnatprj-cross-hack.diff is in gcc-5-source 5.3.1-14ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 | This is a gross hack to cross build libgnatprj without having the
gmp.h header for the target architecture. Are libgnatvsn and libgnatprj
really target libraries, or host libraries? The odd thing is that
the gnat cross build tools are not linked against these two libraries.
Index: b/src/gcc/wide-int.h
===================================================================
--- a/src/gcc/wide-int.h
+++ b/src/gcc/wide-int.h
@@ -3087,8 +3087,10 @@ namespace wi
wide_int from_buffer (const unsigned char *, unsigned int);
#ifndef GENERATOR_FILE
+#ifndef LIBGNATPRJ_CROSS_HACK
void to_mpz (const wide_int_ref &, mpz_t, signop);
#endif
+#endif
wide_int mask (unsigned int, bool, unsigned int);
wide_int shifted_mask (unsigned int, unsigned int, bool, unsigned int);
Index: b/src/gcc/system.h
===================================================================
--- a/src/gcc/system.h
+++ b/src/gcc/system.h
@@ -659,8 +659,10 @@ extern int vsnprintf (char *, size_t, co
/* Do not introduce a gmp.h dependency on the build system. */
#ifndef GENERATOR_FILE
+#ifndef LIBGNATPRJ_CROSS_HACK
#include <gmp.h>
#endif
+#endif
/* Get libiberty declarations. */
#include "libiberty.h"
Index: b/src/libgnatprj/Makefile.in
===================================================================
--- a/src/libgnatprj/Makefile.in
+++ b/src/libgnatprj/Makefile.in
@@ -37,7 +37,7 @@ TOOLS_TARGET_PAIRS := @TOOLS_TARGET_PAIR
LN_S := @LN_S@
ifneq (@build@,@host@)
- CFLAGS += -b @host@
+ override CFLAGS += -DLIBGNATPRJ_CROSS_HACK
endif
.PHONY: libgnatprj install
Index: b/src/gcc/double-int.h
===================================================================
--- a/src/gcc/double-int.h
+++ b/src/gcc/double-int.h
@@ -431,11 +431,13 @@ double_int::popcount () const
#ifndef GENERATOR_FILE
+#ifndef LIBGNATPRJ_CROSS_HACK
/* Conversion to and from GMP integer representations. */
void mpz_set_double_int (mpz_t, double_int, bool);
double_int mpz_get_double_int (const_tree, mpz_t, bool);
#endif
+#endif
namespace wi
{
|