> 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" <[email protected]> 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 [email protected] > with a subject of "unsubscribe". Trouble? Contact [email protected] > Archive: http://lists.debian.org/[email protected] > -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
