[Ada] Remove section on pragma No_Run_Time
This pragma has been long obsolescent and confuses users. 2019-09-17 Ed Falis <falis@adacore.com> gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Remove section. * gnat_rm.texi, gnat_ugn.texi: Regenerate. From-SVN: r275784
This commit is contained in:
parent
94c44a8a30
commit
402b91503e
@ -1,3 +1,9 @@
|
||||
2019-09-17 Ed Falis <falis@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Remove
|
||||
section.
|
||||
* gnat_rm.texi, gnat_ugn.texi: Regenerate.
|
||||
|
||||
2019-09-17 Vadim Godunko <godunko@adacore.com>
|
||||
|
||||
* libgnat/g-exptty.ads (Close_Input): New subprogram.
|
||||
|
@ -4049,22 +4049,6 @@ Note that in Ada 2005 mode, this pragma is part of the language. It is
|
||||
available in all earlier versions of Ada as an implementation-defined
|
||||
pragma.
|
||||
|
||||
Pragma No_Run_Time
|
||||
==================
|
||||
|
||||
Syntax:
|
||||
|
||||
|
||||
.. code-block:: ada
|
||||
|
||||
pragma No_Run_Time;
|
||||
|
||||
|
||||
This is an obsolete configuration pragma that historically was used to
|
||||
set up a runtime library with no object code. It is now used only for
|
||||
internal testing. The pragma has been superseded by the reconfigurable
|
||||
runtime capability of GNAT.
|
||||
|
||||
Pragma No_Strict_Aliasing
|
||||
=========================
|
||||
|
||||
|
1408
gcc/ada/gnat_rm.texi
1408
gcc/ada/gnat_rm.texi
File diff suppressed because it is too large
Load Diff
@ -21,7 +21,7 @@
|
||||
|
||||
@copying
|
||||
@quotation
|
||||
GNAT User's Guide for Native Platforms , Aug 01, 2019
|
||||
GNAT User's Guide for Native Platforms , Sep 13, 2019
|
||||
|
||||
AdaCore
|
||||
|
||||
@ -13661,7 +13661,7 @@ in the source text.
|
||||
|
||||
The set of style check switches is set to match that used by the GNAT sources.
|
||||
This may be useful when developing code that is eventually intended to be
|
||||
incorporated into GNAT. Currently this is equivalent to @code{-gnatwydISux})
|
||||
incorporated into GNAT. Currently this is equivalent to @code{-gnatyydISux})
|
||||
but additional style switches may be added to this set in the future without
|
||||
advance notice.
|
||||
@end table
|
||||
|
Loading…
Reference in New Issue
Block a user