We no longer have two versions of the runtime, but one version with
various build configuration, and a `gnatcov setup` command picking the
right configuration according to the target switches.
Also document the build + install of the coverage runtime using `gnatcov
setup` (which is the standard process) rather than manually building and
installing the runtime.
Although the features are not mature, document them so as not to
confuse users when seeing new command line options with no matching
documentation in the users' guide.
Setup a new "part" (gnatcov_bin_part.rst) to hold a gnatcov
doc appendix dedicated to bin traces. Add a bin_intro.rst file
to hold the corresponding introduction chapter.
Add the new part to the top level index/toc (index.rst).
Rework the original getting_started chapter to focus on
source traces.
The rewritten getting_started uses a fig_flow_srctraces dot
to illustrate. The former fig_flow0 figure comparing the flows
is renamed as fig_flow_compare, adjusted and now used in the
intro section of the bintrace appendix.
Simplify text in the "integration" to get rid of references
to intro sections which are now incorrect.
Part of V805-004
:option: is meant to be used with the ".. option::" directive, as the
former creates xrefs to the later. We currently use only the former, so
Sphinx complains with tons of warnings about missing ".. option::"
directives:
WARNING: unknown option: [...]
This commit introduces a new :cmd-option: role to use instead, which
(for the moment) has only formatting effects. Future changes could
enhance this role to add advanced xref features, such as creating an
index of options.
Change-Id: I40ae15c56e3397e55fd03b9146244853be8e085a
TN: V627-013
This minor reformatting gets rid of the following warning:
WARNING: Bullet list ends without a blank line; unexpected unindent.
WARNING: Block quote ends without a blank line; unexpected unindent.
Change-Id: I0eab24087e3bca1d6e15ee47ee48753a5a76def5
TN: V627-013
Also remove a configuration pragma from instrument-spark.adc, which
was not required in the general case for instrumentation purposes
but was instead specific to a single test in the testsuite.
Change-Id: I293196b8ff7e0a2e322fa30ac42d125bd5c81740
TN: U115-024
This documents the integration Makefile generated by gnattest and
adds a new "integration" example to showcase its use and how it
can be used to avoid incidental coverage.
Change-Id: I981049b8a52fa8ecf1c782a89028010c764c91e6
TN: U115-024
