| 1 | @c GDB MANUAL configuration file. |
| 2 | @c |
| 3 | @c Copyright (C) 1993-2018 Free Software Foundation, Inc. |
| 4 | @c |
| 5 | @c NOTE: While the GDB manual is configurable (by changing these |
| 6 | @c switches), its configuration is ***NOT*** automatically tied in to |
| 7 | @c source configuration---because the authors expect that, save in |
| 8 | @c unusual cases, the most inclusive form of the manual is appropriate |
| 9 | @c no matter how the program itself is configured. |
| 10 | @c |
| 11 | @c The only automatically-varying variable is the GDB version number, |
| 12 | @c which the Makefile rewrites based on the VERSION variable from |
| 13 | @c `../Makefile.in'. |
| 14 | @c |
| 15 | @c GDB version number is recorded in the variable GDBVN |
| 16 | @include GDBvn.texi |
| 17 | @c |
| 18 | @c ---------------------------------------------------------------------- |
| 19 | @c PLATFORM FLAGS: |
| 20 | @set GENERIC |
| 21 | @c |
| 22 | @c HP PA-RISC target ONLY: |
| 23 | @clear HPPA |
| 24 | @c |
| 25 | @c Refrain from discussing how to configure sw and format doc? |
| 26 | @clear PRECONFIGURED |
| 27 | @c |
| 28 | @c ---------------------------------------------------------------------- |
| 29 | @c STRINGS: |
| 30 | @c |
| 31 | @c Name of GDB program. Used also for (gdb) prompt string. |
| 32 | @set GDBP gdb |
| 33 | @c |
| 34 | @c Name of GDB product. Used in running text. |
| 35 | @set GDBN @sc{gdb} |
| 36 | @c |
| 37 | @c Name of host. Should not be used in generic configs, but generic |
| 38 | @c value may catch some flubs. |
| 39 | @set HOST machine specific |
| 40 | @c |
| 41 | @c Name of GCC product |
| 42 | @set NGCC @sc{gcc} |
| 43 | @c |
| 44 | @c Name of GCC program |
| 45 | @set GCC gcc |