Add recognition of --enable-64-bit-bfd configure option, set GDB_CORE_ADDR_FORCE_64BITS conditional in this case

git-svn-id: trunk@26712 -

packages/gdbint/gen-gdblib-inc.sh

@@ -104,6 +104,12 @@ else
   fi
 fi
 
+force64bitcoreaddr=0
+CONFIGURE_ENABLE_64_BIT_BFD=`grep -w -- "--enable-64-bit-bfd" ./config.status`
+if [ "x$CONFIGURE_ENABLE_64_BIT_BFD" != "x" ] ; then
+  echo "--enable-64-bit-bfd configure option found"
+  force64bitcoreaddr=1
+fi
 
 if [ "$1" == "--help" ]; then
   usage
@@ -379,7 +385,9 @@ echo Creating ./gdblib.inc file
 cat comp-cmd.log |${AWK} -v gdbcvs=${gdbcvs} \
   -v implibs="${implicitlibs}" -v libdir="${libdir}" \
   -v gdbversion=${gdbversion} -v forcestatic=${forcestatic} \
-  -v has_get_stdin=${has_get_stdin} -v add_libgdb=${add_libgdb} '
+  -v force64bitcoreaddr=${force64bitcoreaddr} \
+  -v has_get_stdin=${has_get_stdin} \
+  -v add_libgdb=${add_libgdb} '
 BEGIN {
   use_mingw=0;
   print "{ libgdb.inc file generated by awk script }"
@@ -387,6 +395,9 @@ BEGIN {
   if (gdbcvs) {
     print "{$define GDB_CVS}"
   }
+  if (force64bitcoreaddr) {
+    print "{$define GDB_CORE_ADDR_FORCE_64BITS}"
+  }
   print "{$ifdef COMPILING_GDBINT_UNIT }"
   if (add_libgdb == 1) {
     print "{$LINKLIB libgdb.a} { Added here because Makefile does not use the libgdb library anymore }"