[Ada] Update -fdump-ada-spec documentation

2019-07-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
	-fdump-ada-spec now that we generate Ada 2012.
	* gnat_ugn.texi: Regenerate.

From-SVN: r273264

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 09defe0cc67a82d736892cc46db3b4791518d141..a7796cb75cd7763da11875315e0df87ec5cbb28e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-07-09  Arnaud Charlet  <charlet@adacore.com>
+
+       * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
+       -fdump-ada-spec now that we generate Ada 2012.
+       * gnat_ugn.texi: Regenerate.
+
 2019-07-08  Eric Botcazou  <ebotcazou@adacore.com>
 
        * repinfo.adb (List_Common_Type_Info): New procedure extracted

diff --git a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
index 48fedfea3a4eec2771c48aef0f60c1dc0d56f550..d7388bb5ffe7bfce9f51aca6173cc434cf62a0c7 100644 (file)
--- a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
+++ b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
@@ -4531,8 +4531,9 @@ Some of the known limitations include:
 * identifiers with identical name (except casing) will generate compilation
   errors (e.g. ``shm_get`` vs ``SHM_GET``).
 
-The code generated is using the Ada 2005 syntax, which makes it
-easier to interface with other languages than previous versions of Ada.
+The code is generated using Ada 2012 syntax, which makes it easier to interface
+with other languages. In most cases you can still use the generated binding
+even if your code is compiled using earlier versions of Ada (e.g. ``-gnat95``).
 
 .. _Running_the_binding_generator:
 
@@ -4547,7 +4548,7 @@ header files needed by these files transitively. For example:
 .. code-block:: sh
 
       $ g++ -c -fdump-ada-spec -C /usr/include/time.h
-      $ gcc -c -gnat05 *.ads
+      $ gcc -c *.ads
 
 will generate, under GNU/Linux, the following files: :file:`time_h.ads`,
 :file:`bits_time_h.ads`, :file:`stddef_h.ads`, :file:`bits_types_h.ads` which

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 5ace5cfe97e9d7041a7b4be28edd01ee40d784da..3f993409c87a7efd7243da1fd64e7e43f52137c3 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -6646,8 +6646,9 @@ identifiers with identical name (except casing) will generate compilation
 errors (e.g. @code{shm_get} vs @code{SHM_GET}).
 @end itemize
 
-The code generated is using the Ada 2005 syntax, which makes it
-easier to interface with other languages than previous versions of Ada.
+The code is generated using Ada 2012 syntax, which makes it easier to interface
+with other languages. In most cases you can still use the generated binding
+even if your code is compiled using earlier versions of Ada (e.g. @code{-gnat95}).
 
 @menu
 * Running the Binding Generator:: 
@@ -6668,7 +6669,7 @@ header files needed by these files transitively. For example:
 
 @example
 $ g++ -c -fdump-ada-spec -C /usr/include/time.h
-$ gcc -c -gnat05 *.ads
+$ gcc -c *.ads
 @end example
 
 will generate, under GNU/Linux, the following files: @code{time_h.ads},