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 avai
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;
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 su
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
so
4 matches
Mail list logo