diff options
| author | Joel Brobecker <brobecker@gnat.com> | 2008-07-07 17:11:56 +0000 |
|---|---|---|
| committer | Joel Brobecker <brobecker@gnat.com> | 2008-07-07 17:11:56 +0000 |
| commit | b7292df399476ace3dc1eb8ae78b87e6ef91808e (patch) | |
| tree | aa4b7b5cf1cd3f968e3d71ccf2216a92e5fb1a39 | |
| parent | 0f963b2442d8b307aeca3915882e7f2cacd2ea71 (diff) | |
| download | gdb-b7292df399476ace3dc1eb8ae78b87e6ef91808e.zip gdb-b7292df399476ace3dc1eb8ae78b87e6ef91808e.tar.gz gdb-b7292df399476ace3dc1eb8ae78b87e6ef91808e.tar.bz2 | |
* gstdint.h: New file.
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/gstdint.h | 33 |
2 files changed, 37 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 04fa634..ba05c7b 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2008-07-07 Joel Brobecker <brobecker@adacore.com> + + * gstdint.h: New file. + 2008-07-05 Vladimir Prus <vladimir@codesourcery.com> * 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 0000000..a0422f5 --- /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> |