From: Joel Brobecker Date: Mon, 7 Jul 2008 17:11:56 +0000 (+0000) Subject: * gstdint.h: New file. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b7292df399476ace3dc1eb8ae78b87e6ef91808e;p=binutils-gdb.git * gstdint.h: New file. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 04fa634dadf..ba05c7b4ea1 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2008-07-07 Joel Brobecker + + * gstdint.h: New file. + 2008-07-05 Vladimir Prus * mi/mi-interp.c (mi_on_resume): Don't try to report diff --git a/gdb/gstdint.h b/gdb/gstdint.h new file mode 100644 index 00000000000..a0422f54fd4 --- /dev/null +++ b/gdb/gstdint.h @@ -0,0 +1,33 @@ +/* Copyright (C) 2008 Free Software Foundation, Inc. + + This file is part of GDB. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* The libdecnumber library, on which GDB depends, includes a header file + called gstdint.h instead of relying directly on stdint.h. GDB, on the + other hand, includes stdint.h directly, relying on the fact that gnulib + generates a copy if the system doesn't provide one or if it is missing + some features. Unfortunately, gstdint.h and stdint.h cannot be included + at the same time, which may happen when we include a file from + libdecnumber. + + The purpose of this file is to override the libdecnumber/gstdint.h file + to use stdint.h instead. Thanks to the order of our include path, + files from the GDB source tree have precedence over files from our + dependencies. So the presence of this file will ensure that we + consistently use the same stdint.h file when compiling GDB source + files. */ + +#include