On Thu, 06 Feb 2014 16:29:16 +0100, Xavier Grave wrote:
On Thu, 06 Feb 2014 14:05:13 +0100, Ludovic Brenta wrote: <snip>Since you seem to have time for gnat-4.9, could you please try to re- enable ada-kfreebsd.diff (in debian/rules.patch) and update the patch?I'll try, but it will certainly take some time for validation because I would like to setup a kfreebsd/Debian machine to do so.
I spent some time (a lot :) ?) to setup kfreebsd/debian in a kvm + virtio for the disk in order to have not too bad disk performances and I should try to compile gnat-4.9 soon.