diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2020-11-12 09:38:58 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-30 09:16:18 -0500 |
| commit | a18d46a4b6cd2b3c6f6506d09a3bd547b20293bf (patch) | |
| tree | 233dbccaf253b1af1fa284e358ce8124f6a2339f /gcc/ada/opt.ads | |
| parent | b514643caeac517d06482a70f8fa38328601dd7a (diff) | |
| download | gcc-a18d46a4b6cd2b3c6f6506d09a3bd547b20293bf.zip gcc-a18d46a4b6cd2b3c6f6506d09a3bd547b20293bf.tar.gz gcc-a18d46a4b6cd2b3c6f6506d09a3bd547b20293bf.tar.bz2 | |
[Ada] Implement -gnateb switch
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Describe -gnateb switch.
* doc/gnat_ugn/the_gnat_compilation_model.rst: Mention -gnateb
switch in configuration pragma files section.
* gnat_ugn.texi: Regenerate.
* lib-writ.adb (Write_ALI): Strip directories from configuration
files path if needed.
* opt.ads: Declare Config_Files_Store_Basename option.
* par.adb (Par): Save configuration file checksum.
* switch-c.adb (Scan_Front_End_Switches): Set
Config_Files_Store_Basename true if -gnateb is present.
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 5017792..f55e9c6 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -364,6 +364,11 @@ package Opt is -- GNAT -- Names of configuration pragmas files (given by switches -gnatec) + Config_Files_Store_Basename : Boolean := False; + -- GNAT + -- Set True for -gnateb. Tells GNAT that config files should be referred to + -- by their basename and their checksums computed in ALI files. + Configurable_Run_Time_Mode : Boolean := False; -- GNAT, GNATBIND -- Set True if the compiler is operating in configurable run-time mode. |