Bug#559447: gnat-4.4: extends keyword in project files seems to be broken

2009-12-09 Thread Ludovic Brenta
I wrote: library project extends library project: ERROR (3) [...] (3) the extension replaces the parent, i.e. it should copy the parent's ALI files into its own Library_ALI_Dir and link the parent's object files into the library itself, which defeats the purpose of the parent library; better

Bug#559447: gnat-4.4: extends keyword in project files seems to be broken

2009-12-09 Thread Ludovic Brenta
tags -help +patch severity 559447 minor thanks I tested test_extends_facility_2.tgz and I now confirm that replacing extends all with just extends in proj_ter.gpr fixes the problem. Downgading the severity of this bug to minor and replacing the tag help with patch as a workaround is available.

Bug#559447: gnat-4.4: extends keyword in project files seems to be broken

2009-12-08 Thread Ludovic Brenta
tags 559447 upstream help thanks Since it also happens in GNAT GPL 2009, this is definitely an upstream problem; tagging accordingly. However I am not sure this is really a GNAT project manager bug; the documentation is unclear about what happens when extending a library project file. I would

Bug#559447: gnat-4.4: extends keyword in project files seems to be broken

2009-12-04 Thread xavier
Package: gnat-4.4 Version: 4.4.2-3 Severity: important extends key word in gnat projects seems to have problems when including other projects files. A test case is joined to this bug report : proj.gpr with xmlada.gpr so input_sources.{ads|adb|ali|o} are known proj_bis.gpr do a with of proj.gpr