Package: asis / 2015-1

Metadata

Package Version Patches format
asis 2015-1 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 | 2 1 + 1 - 0 !
asis/a4g-gnat_int.adb | 2 1 + 1 - 0 !
tools/tool_utils/asis_ul-common.adb | 2 1 + 1 - 0 !
4 files changed, 4 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.
link_tools_with_shared_asis.diff | (download)

asis.gpr | 12 9 + 3 - 0 !
1 file changed, 9 insertions(+), 3 deletions(-)

 allow to link executables 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 | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 tell upstream build system where to find the needed gnat sources
 Debian calls gnatprj.gpr what upstream calls gnat_util.gpr.
 The name of this patch mentions gnatprj for historical reasons.
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 !
12 files changed, 25 insertions(+), 1 deletion(-)

 handle adaflags cppflags
typos.diff | (download)

asis/a4g-ee_cache.adb | 4 2 + 2 - 0 !
tools/gnatpp/gnatpp-output.adb | 2 1 + 1 - 0 !
2 files changed, 3 insertions(+), 3 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.
gcc 6.diff | (download)

asis/a4g-mapping.adb | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

 adapt asis-gpl-2015 to gcc-6 instead of gnat-gpl-2015.