1 /* Copyright (C) 2008 Free Software Foundation, Inc.
3 This file is part of GDB.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 3 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18 /* The libdecnumber library, on which GDB depends, includes a header file
19 called gstdint.h instead of relying directly on stdint.h. GDB, on the
20 other hand, includes stdint.h directly, relying on the fact that gnulib
21 generates a copy if the system doesn't provide one or if it is missing
22 some features. Unfortunately, gstdint.h and stdint.h cannot be included
23 at the same time, which may happen when we include a file from
26 The purpose of this file is to override the libdecnumber/gstdint.h file
27 to use stdint.h instead. Thanks to the order of our include path,
28 files from the GDB source tree have precedence over files from our
29 dependencies. So the presence of this file will ensure that we
30 consistently use the same stdint.h file when compiling GDB source
This page took 0.029986 seconds and 4 git commands to generate.