Hi, On Wed, Jul 20, 2011 at 6:54 AM, Pavel Zhukov <[email protected]> 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/caos_zyirwt4kydzj3lbr6if2ysz01zpqpajqa9-cud+a-xk...@mail.gmail.com
