Re: gcc-gnat sources
Eugeniy Meshcheryakov <eugen@debian.org> writes:
> Hello,
>
> 20 липня 2011 о 08:12 -0400 Stephen Leake написав(-ла):
>> It's likely that simply patching s-rident.ads to declare SPARK would be
>> sufficient for gprbuild 2011. However, that may be misleading; I'm not
>> clear how much "support" gnat 2011 provides for SPARK, but all of it is
>> apparently missing from Debian gnat-4.6.
> As far as I can see, the code in gprbuild-2011 provides some support for
> syntax checking and enforcement of restrictions for SPARK programs. That
> should be useless for tool like gprbuild.
I have to assume it has _some_ use, or AdaCore would not have put it
there. But that's not very helpful for the current Debian issue.
> So I think this can be just patched out.
Ok, I've done that, and the package builds.
It has other problems when I try to run the tests; more in another thread.
>> Have you tried updating to gnat-4.6 yet?
> spark source builds fine with gnat-4.6. I just noticed there is new
> version available at adacore, I'll try to package it soon.
It appears that spark (2010.0) was built from AdaCore Libre GPL SPARK
2010.
The "new version" would then be GPL SPARK 2011, which is probably not
compatible with Debian gnat-4.6, since it is close to GNAT GPL 2010.
But it's probably worth a try.
--
-- Stephe
Reply to: