Re: gcc-gnat sources
Hi,
On Wed, Jul 20, 2011 at 6:54 AM, Pavel Zhukov <pavel@zhukoff.net> wrote:
> 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?
I don't have real answer, but FreeBSD ports might give some hints:
http://www.freebsd.org/cgi/cvsweb.cgi/ports/devel/gprbuild-aux/
http://www.freebsd.org/cgi/cvsweb.cgi/ports/lang/gnat-aux/
Also, check the sources of Debian packages.
Yours,
Tero
Reply to: