Package: asis / 2019-5
Metadata
Package | Version | Patches format |
---|---|---|
asis | 2019-5 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
gnatgcc.patch | (download) |
asis/a4g-a_opt.ads |
2 1 + 1 - 0 ! |
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 ! |
handle adaflags ldflags |
link_tools_with_shared_asis.diff | (download) |
asis.gpr |
11 11 + 0 - 0 ! |
link tools with asis shared library Passing -Xsoversion= 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 ! |
use packaged libgnat_util 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 ! |
typographic errors detected by lintian |
weak_version_check.diff | (download) |
tools/tool_utils/asis_ul-source_table-processing.adb |
2 1 + 1 - 0 ! |
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 libgnat_util) is sufficient. |
xmlada split.diff | (download) |
tools/gnat2xml/boot.gpr |
4 3 + 1 - 0 ! |
only import used xmlada sublibraries in gnat2xml projects Using the compatibility xmlada.gpr would imply an unneeded dependency on libxmlada-schema-dev. |
packaged xmlezout.diff | (download) |
tools/gnat2xml/gnat2xml-xml.adb |
30 6 + 24 - 0 ! |
use packaged libxmlezout instead of the old embedded copy |