Re: gcc-gnat sources
> scng.adb:1799:47: "SPARK" is undefined
Please read README
in gprbuild sources folder do:
ln -s <gcc-sources(not GNAT_GPL buf FSF GCC)>/gcc/ada/ gnat_src
make copy_gnat_src -f Makefile.in
./configure
make
"scng.adb:1799:47: "SPARK" is undefined" will not displayed and
make'll successfull. But There'll linker error with gnat_version.
On Wed, Jul 20, 2011 at 06:09:10AM -0400, Stephen Leake wrote:
> I'm the gprbuild maintainer for Debian.
>
> "Pavel Zhukov" <pavel@zhukoff.net> writes:
>
> > Currently I'm working on Ada packages from GNAT-2011. But I have some
> > troubles with gprbuild.
>
> I'm just getting started compiling gprbuild-gpl-2011-src.tgz (I've got
> some other packaging issues to sort out yet).
>
> I don't normally use configure; see the Debian source package.
>
> When I do run configure on Debian testing, it does not complain (and I
> don't have SPARK installed; it's not a Debian package (yet)).
>
> When I compile the configured gprbuild, I get an error:
>
> scng.adb:1799:47: "SPARK" is undefined
>
> Apparently SPARK is supposed to be in the All_Restrictions enumeral.
>
> All_Restrictions is declared in package System.Rident, in file
> /usr/lib/i386-linux-gnu/gcc/i486-linux-gnu/4.6.1/adainclude/s-rident.ads,
> installed by the gnat-4.6 package.
>
> > I have to point gcc-gnat sources before configure to avoid this
> > (gprbuild README), but gcc-gnat doesn't bring any sources after
> > installation.
>
> I don't know what you mean by this.
>
> I don't see any mention of SPARK in the gprbuild README, nor in
> configure.
>
> Apparently we need gnat-4.6 to be configured with SPARK support, so
> "SPARK" is declared in s-rident.ads
>
> Ludovic; does that make any sense? I have not looked at the gnat-4.6
> sources yet.
>
> One fallback for Debian would be to patch the gprbuild sources to not
> require SPARK.
>
> But it would be very good to package SPARK for Debian, which would
> (presumably) have the same problem.
>
> --
> -- Stephe
>
>
> --
> To UNSUBSCRIBE, email to debian-ada-request@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> Archive: [🔎] 828vrtb6wp.fsf@stephe-leake.org">http://lists.debian.org/[🔎] 828vrtb6wp.fsf@stephe-leake.org
>
Reply to: