From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: SPARK on Debian
Date: Wed, 9 Mar 2011 06:49:06 -0800 (PST)
Date: 2011-03-09T06:49:06-08:00 [thread overview]
Message-ID: <5dde8f43-7594-4598-90e5-159d3516dc45@i3g2000vby.googlegroups.com> (raw)
In-Reply-To: 6218b78a-7065-4153-87b3-fac031f8dabe@w36g2000vbi.googlegroups.com
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...
- Rod Chapman, SPARK Team
next prev parent reply other threads:[~2011-03-09 14:49 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 [this message]
2011-03-09 15:22 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox