Hi all
My name is Pavel and I'm Fedora packager.
Currently I'm working on Ada packages from GNAT-2011. But I have some
troubles with gprbuild. Gprbuild-2011 contains SPARK support in /gnat
subfolder. I have to point gcc-gnat sources before configure to avoid
this (gprbuild README), but gcc-gnat doesn't bring any sources after
installation. Does anybody solve this issue?
Redhat bugzilla:
https://bugzilla.redhat.com/show_bug.cgi?id=722732
GCC bugzilla:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783
--
Regards Pavel Zhukov
[email protected]
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
