This commit adjust the sphinx configuration to use the "Read The Docs"
theme, which has the advantage of allowing the navigation bar
(containing among other things a search bar, and the TOC) to stay
fixed while scrolling the contents of the page being read. This is
particularly useful to allow access to those features while reading
a long page, for instance.
TN: V905-033
Change-Id: Ie315438ce8e6010d070bc0874c775dd8460ceff2
The ReStructured Text variant used by sphinxdoc recommends two
consecutive backquotes for raw text. Single backquote or double
quotes sometimes work, but interact poorly with each other.
Change uses of Unchecked_Deallocation (which is obsolete since Ada 95) to
Ada.Unchecked_Deallocation to avoid warnings recently enabled in GNAT.
Update copyright headers.
TN: V614-004
TN: V209-051
Change-Id: I6aa7dbeeeecadf6a9d0b5f0aafb0167dc22dfd51
The large code model which is now the default for kernel RTS
(not triggered by the large multilib anymore) on 64 bits
architectures.
TN: UB03-045
Tested-with: $ anod test cross-testsuite \
--target=x86_64-vx7r2,7.2,vxsim-64 \
--qualifier=rts=kernel
$ anod test cross-testsuite \
--target=aarch64-vx7r2,7.2,vxsim-64 \
--qualifier=rts=kernel
$ anod test cross-testsuite \
--target=ppc64-vx7r2,7.2,vxsim-64 \
--qualifier=rts=kernel
Change-Id: Ia8376112db4b3a45e3948c8803a4191f58b51c42
This patch removes several unnecessary pragma Unreferenced's identified
due to work under U122-031.
[changelog]
* schema/schema-schema_readers.adb
(Create_NFA): Remove pragmas.
TN: U122-031
Change-Id: Ice4d02315100cd4b9ad31cba16ff5d0e54976527
