Problems with SPARK 2015 and XMLAda

[Serge Robyns <serge.robyns@gmail.com>]

Hi,

I'm trying to use Spark on my little project.
I managed to make it work on some other toy but here it chokes on what seems to be references to XMLAda in my project.  However, the file I'm analyzing is not using any XML feature (others does).

I've no idea how to fix this.

Here is the excerpt of the command line execution.

Phase 1 of 2: generation of Global contracts ...
gprbuild --config=T:\SPARK\2015\share\spark\config\frames.cgpr -P ../test.
gpr -c -v --subdirs=gnatprove --restricted-to-languages=ada --no-object-check test-accounts.adb -cargs:Ada -gnatc -gnates=T:\Documents\Development\Test\obj\gnatprove\\35e4eb76.tmp
GPRBUILD GPL 2015 (20150428) (i686-pc-mingw32)
Copyright (C) 2004-2015, Free Software Foundation, Inc.
 102 lines: No errors
Checking configuration T:\SPARK\2015\share\spark\config\frames.cgpr
Setting the default project search directories
   Adding directory "T:\SPARK\2015\libexec\spark\x86-windows\lib\gnat"
   Adding directory "T:\SPARK\2015\libexec\spark\x86-windows\share\gpr"
   Adding directory "T:\SPARK\2015\libexec\spark\share\gpr"
   Adding directory "T:\SPARK\2015\libexec\spark\lib\gnat"

==============Error messages for project file: T:\Documents\Development\Test\test.gpr
    11.    Library_Type : Xmlada_Kind_Type := external ("LIBRARY_TYPE");
           1                                  2
        >>> no value defined for "library_type"
        >>> warning: undefined external reference

    14.    Xmlada_Build : Build_Kind := external ("XMLADA_BUILD");
           1                            2
        >>> no value defined for "xmlada_build"
        >>> warning: undefined external reference

 102 lines: 2 errors, 2 warnings
gprbuild: "../test.gpr" processing failed
gnatprove: error during generation of Global contracts