From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: SPARK on Debian
Date: Wed, 9 Mar 2011 07:22:12 -0800 (PST)
Date: 2011-03-09T07:22:12-08:00 [thread overview]
Message-ID: <640235d5-b129-402b-81a7-1ae9d932f071@t13g2000vbo.googlegroups.com> (raw)
In-Reply-To: 5dde8f43-7594-4598-90e5-159d3516dc45@i3g2000vby.googlegroups.com
Rod Chapman wrote on comp.lang.ada:
> On Mar 9, 2:28 pm, 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...
Thanks for the tip but, as there is no indication Eugeniy reads
comp.lang.ada, I suggest you repost on debian-ada@lists.debian.org.
Sorry if that was not clear enough on my initial announcement.
--
Ludovic Brenta.
prev parent reply other threads:[~2011-03-09 15:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-09 14:28 SPARK on Debian Ludovic Brenta
2011-03-09 14:49 ` Rod Chapman
2011-03-09 15:22 ` Ludovic Brenta [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox