20 липня 2011 о 20:01 -0400 Stephen Leake написав(-ла): > > 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. It is probably just copy of what they had in their version of gnat. > >> 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. Spark if not so dependant on gnat version as you seem think. For example it does not contain or require any gnat sources to build. I've built spark 2011 with Debian gnat-4.4 sucessfully. This version is available in git repository. I'll upload it when I do some more tests. Regards, Eugeniy Meshcheryakov
Attachment:
signature.asc
Description: Digital signature