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/par.adb | |
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/par.adb')
-rw-r--r-- | gcc/ada/par.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index 4c3a154..95695d2 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -1546,6 +1546,10 @@ begin end loop; end; + if Config_Files_Store_Basename then + Complete_Source_File_Entry; + end if; + -- Normal case of compilation unit else |