Re: ASIS in Debian and other platforms?

[Simon Wright <simon@pushface.org>]

David Botton <david@botton.com> writes:

> I've noticed that ASIS is available on Debian and wanted to know if
> anyone knows how they are maintaining it?
>
> My impression was that ASIS source must match the GNAT version and
> Debian is using the FSF gcc/ada.

ASIS reads the tree output file created when you say -gnatt. This is a
binary file and depends on the compiler internals, which is why ASIS
insists on a matching compiler revision.

In GNAT GPL 2014, AdaCore create (from the compiler build tree)
libgnat_util which contains all the components necessary to build ASIS
and other tools which depend on the compiler internals (GNATColl).

For my Mac FSF GCC builds, I replicated this (the internals are
different on recent GCCs) in my SF GNAT Util Library project[1]. There
are detailed how-to notes in the README in the distribution (4.9.1 is
best). NB1, I think there might be some Darwin-specific choices in the
list of files to be included. NB2, you need a live compiler source and
build tree to get this to work.

Debian do the same, but their library is called libgnatvsn.

[1] https://sourceforge.net/projects/gnatutil/