* gstdint.h: New file.

1 files changed, 33 insertions, 0 deletions

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 <http://www.gnu.org/licenses/>.  */
+
+/* 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 <stdint.h>