From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.50.66.230 with SMTP id i6mr26263329igt.13.1439999939460; Wed, 19 Aug 2015 08:58:59 -0700 (PDT) X-Received: by 10.140.22.113 with SMTP id 104mr166782qgm.11.1439999939431; Wed, 19 Aug 2015 08:58:59 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!se8no6469641igc.0!news-out.google.com!78ni16746qge.1!nntp.google.com!69no2108636qgi.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 19 Aug 2015 08:58:59 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=94.107.233.114; posting-account=6m7axgkAAADBKh082FfZLdYsJ24CXYi5 NNTP-Posting-Host: 94.107.233.114 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Problems with SPARK 2015 and XMLAda From: Serge Robyns Injection-Date: Wed, 19 Aug 2015 15:58:59 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:27508 Date: 2015-08-19T08:58:59-07:00 List-Id: 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