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
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.
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
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
4 matches
Mail list logo