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=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d2d643b43b9c3cd4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!i3g2000vby.googlegroups.com!not-for-mail
From: Rod Chapman <roderick.chapman@googlemail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK on Debian
Date: Wed, 9 Mar 2011 06:49:06 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <5dde8f43-7594-4598-90e5-159d3516dc45@i3g2000vby.googlegroups.com>
References: 
 <6218b78a-7065-4153-87b3-fac031f8dabe@w36g2000vbi.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1299683000 27589 127.0.0.1 (9 Mar 2011 15:03:20
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 9 Mar 2011 15:03:20 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: i3g2000vby.googlegroups.com; posting-host=217.205.167.137;
 posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.2.15)
 Gecko/20110303 Firefox/3.6.15,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:18965
Date: 2011-03-09T06:49:06-08:00
List-Id: <comp.lang.ada>

On Mar 9, 2:28=A0pm, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> Eugeniy Meshcheryakov has started packaging SPARK GPL 2010 for Debian

That's good news.  For what it's worth, my colleague
Florian Schanda has some experience with getting
the Simplifier and Checker PROLOG sources
to build with GNU PROLOG rather than SICSTUS.

I see you've already discovered the need to GNATPREP
a couple of files before compilation of the Examiner (most notably
filesystem.apb and examinerconstants.aps). Please see
our makefiles in the GPL release for how it ought
to work...

 - Rod Chapman, SPARK Team