Package: asis / 2018-2

Metadata

Package Version Patches format
asis 2018-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
gnatgcc.patch | (download)

asis/a4g-a_opt.ads | 2 1 + 1 - 0 !
asis/a4g-contt.adb | 7 5 + 2 - 0 !
asis/a4g-gnat_int.adb | 2 1 + 1 - 0 !
3 files changed, 7 insertions(+), 4 deletions(-)

 explicitly use gnatgcc as the compiler driver rather than gcc.
 Gcc may not be the default Ada compiler.
 .
 The part in asis/a4g-a_opt.ads circumvents #759038.
 The removed test was redundant in Debian anyway:
 per policy, libasis-dev depends on the gnat-X it was compiled with.
 Moreover, another test checks the tree format version.
compilation_options.diff | (download)

common.gpr | 12 12 + 0 - 0 !
tools/asistant/asistant.gpr | 1 1 + 0 - 0 !
tools/gnat2xml/boot.gpr | 1 1 + 0 - 0 !
tools/gnat2xml/gnat2xml.gpr | 1 1 + 0 - 0 !
tools/gnat2xml/self_rep.gpr | 1 1 + 0 - 0 !
tools/gnat2xml/tokens.gpr | 4 3 + 1 - 0 !
tools/gnatcheck/gnatcheck.gpr | 1 1 + 0 - 0 !
tools/gnatelim/gnatelim.gpr | 1 1 + 0 - 0 !
tools/gnatmetric/gnatmetric.gpr | 1 1 + 0 - 0 !
tools/gnatpp/gnatpp.gpr | 1 1 + 0 - 0 !
tools/gnatstub/gnatstub.gpr | 1 1 + 0 - 0 !
tools/gnattest/gnattest.gpr | 1 1 + 0 - 0 !
tools/tool_utils/generate_factory.gpr | 1 1 + 0 - 0 !
13 files changed, 26 insertions(+), 1 deletion(-)

 handle adaflags ldflags
link_tools_with_shared_asis.diff | (download)

asis.gpr | 11 11 + 0 - 0 !
common.gpr | 3 3 + 0 - 0 !
2 files changed, 14 insertions(+)

 link tools with asis shared library
 Passing -XLIBRARY_KIND=dynamic lets the project build ASIS as a
 shared library and link the tools with it.
 .
 The resulting project is not very readable because I attempt to avoid
 intrusive changes and ensure that the default behaviour does not change.
 .
gnatprj_instead_of_gnat_sources.diff | (download)

asis.gpr | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 use packaged libgnatvsn instead of source copies.
 The name of this patch mentions gnatprj for historical reasons.
typos.diff | (download)

asis/a4g-ee_cache.adb | 4 2 + 2 - 0 !
tools/gnatpp/gnatpp-output.adb | 2 1 + 1 - 0 !
tools/gnattest/gnattest-harness-generator-gather_data.adb | 2 1 + 1 - 0 !
3 files changed, 4 insertions(+), 4 deletions(-)

 typographic errors detected by lintian
weak_version_check.diff | (download)

tools/tool_utils/asis_ul-source_table-processing.adb | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 check tree version, not compiler version.
 Do not check the version string of the compiler embedded in the tree files
 against Gnatvsn.Gnat_Version_String.  Checking only the tree version number
 (Tree_IO.ASIS_Version_Number, in libgnatvsn) is sufficient.
xmlada split.diff | (download)

tools/gnat2xml/boot.gpr | 4 3 + 1 - 0 !
tools/gnat2xml/gnat2xml.gpr | 4 3 + 1 - 0 !
tools/gnat2xml/self_rep.gpr | 4 3 + 1 - 0 !
tools/gnat2xml/tokens.gpr | 4 3 + 1 - 0 !
4 files changed, 12 insertions(+), 4 deletions(-)

 only import used xmlada sublibraries in gnat2xml projects
 Using the compatibility xmlada.gpr would imply an unneeded dependency
 on libxmlada-schema-dev.